| 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 |
|---|
| 4 | | Hans-Albert Schneider:
An Improvement of Deduction Plans: Refutation Plans.
CADE 1986: 377-383 |
| 3 | | Hans-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 |
