dblp.uni-trier.dewww.uni-trier.de

Hans-Albert Schneider Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*1991
7 Klaus Estenfeld, Hans-Albert Schneider, Dirk Taubner, Erik Tidén: Computer Aided Verification of Parallel Processes. VIS 1991: 208-226
1990
6 Wolfram Büttner, Klaus Estenfeld, Richard Schmid, Hans-Albert Schneider, Erik Tidén: Symbolic Constraint Handling Through Unification in Finite Algebras. Appl. Algebra Eng. Commun. Comput. 1: 97-118 (1990)
1989
5 Richard Schmid, Hans-Albert Schneider, Thomas Filkorn: Using an Extended PROLOG to Solve the Lion and Unicorn Puzzle. J. Autom. Reasoning 5(3): 403-408 (1989)
1986
4EEHans-Albert Schneider: An Improvement of Deduction Plans: Refutation Plans. CADE 1986: 377-383
3EEHans-Albert Schneider, Werner Dilger: Information Processing with Associative Processors. CONPAR 1986: 222-229
1985
2 Werner Dilger, Hans-Albert Schneider: ASSIP-T A Theorem-Proving Machine. IJCAI 1985: 1194-1200
1984
1 Werner Dilger, Hans-Albert Schneider: ASSIP-T: A Theorem Proving Machine. FGCS 1984: 497-506

Coauthor Index

1Wolfram Büttner [6]
2Werner Dilger [1] [2] [3]
3Klaus Estenfeld [6] [7]
4Thomas Filkorn [5]
5Richard Schmid [5] [6]
6Dirk Taubner [7]
7Erik Tidén [6] [7]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)