|
Search the dblp DataBase
Hans-Albert Schneider:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Hans-Albert Schneider
An Improvement of Deduction Plans: Refutation Plans. [Citation Graph (0, 0)][DBLP] CADE, 1986, pp:377-383 [Conf]
- Hans-Albert Schneider, Werner Dilger
Information Processing with Associative Processors. [Citation Graph (0, 0)][DBLP] CONPAR, 1986, pp:222-229 [Conf]
- Werner Dilger, Hans-Albert Schneider
ASSIP-T: A Theorem Proving Machine. [Citation Graph (0, 0)][DBLP] FGCS, 1984, pp:497-506 [Conf]
- Werner Dilger, Hans-Albert Schneider
ASSIP-T A Theorem-Proving Machine. [Citation Graph (0, 0)][DBLP] IJCAI, 1985, pp:1194-1200 [Conf]
- Klaus Estenfeld, Hans-Albert Schneider, Dirk Taubner, Erik Tidén
Computer Aided Verification of Parallel Processes. [Citation Graph (0, 0)][DBLP] VIS, 1991, pp:208-226 [Conf]
- Wolfram Büttner, Klaus Estenfeld, Richard Schmid, Hans-Albert Schneider, Erik Tidén
Symbolic Constraint Handling Through Unification in Finite Algebras. [Citation Graph (0, 0)][DBLP] Appl. Algebra Eng. Commun. Comput., 1990, v:1, n:, pp:97-118 [Journal]
- Richard Schmid, Hans-Albert Schneider, Thomas Filkorn
Using an Extended PROLOG to Solve the Lion and Unicorn Puzzle. [Citation Graph (0, 0)][DBLP] J. Autom. Reasoning, 1989, v:5, n:3, pp:403-408 [Journal]
Search in 0.001secs, Finished in 0.001secs
|