Hans-Albert Schneider

According to our database, Hans-Albert Schneider authored at least 6 papers between 1985 and 1991.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

1991

Computer Aided Verification of Parallel Processes.

Klaus Estenfeld, Hans-Albert Schneider, Dirk Taubner, Erik Tidén

Proceedings of the VIS'91, 1991

1990

Symbolic Constraint Handling Through Unification in Finite Algebras.

Wolfram Büttner, Klaus Estenfeld, Richard Schmid, Hans-Albert Schneider, Erik Tidén

Appl. Algebra Eng. Commun. Comput., 1990

1989

Using an Extended PROLOG to Solve the Lion and Unicorn Puzzle.

Richard Schmid, Hans-Albert Schneider, Thomas Filkorn

J. Autom. Reason., 1989

1986

Information Processing with Associative Processors.

Hans-Albert Schneider, Werner Dilger

Proceedings of the CONPAR 86: Conference on Algorithms and Hardware for Parallel Processing, 1986

An Improvement of Deduction Plans: Refutation Plans.

Hans-Albert Schneider

Proceedings of the 8th International Conference on Automated Deduction, Oxford, England, July 27, 1986

1985

ASSIP-T: A Theorem-Proving Machine.

Werner Dilger, Hans-Albert Schneider

Proceedings of the 9th International Joint Conference on Artificial Intelligence. Los Angeles, 1985