Hans-Albert Schneider

Publication Activity (10 Years)

Years Active: 1984-1991
Publications (10 Years): 0

Publications

Klaus Estenfeld, Hans-Albert Schneider, Dirk Taubner, Erik Tidén
Computer Aided Verification of Parallel Processes. VIS (1991)
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 (1990)
Richard Schmid, Hans-Albert Schneider, Thomas Filkorn
Using an Extended PROLOG to Solve the Lion and Unicorn Puzzle. J. Autom. Reason. 5 (3) (1989)
Hans-Albert Schneider
An Improvement of Deduction Plans: Refutation Plans. CADE (1986)
Hans-Albert Schneider, Werner Dilger
Information Processing with Associative Processors. CONPAR (1986)
Werner Dilger, Hans-Albert Schneider
ASSIP-T: A Theorem-Proving Machine. IJCAI (1985)
Werner Dilger, Hans-Albert Schneider
ASSIP-T: A Theorem Proving Machine. FGCS (1984)