MPI-INF Logo
Publications

Server    halma.mpi-inf.mpg.de

Publications

Entries sorted by: 5. Year - 8. Counting Publications

Login to this database


 

Previous Page | Next Page | Expand All | Collapse All | Search (Full Text)


Show entries starting with: A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
#YAuthor/EditorTitle
1
Show details for 20132013
2
Show details for 20092009
16
Show details for 20072007
43
Show details for 20062006
41
Show details for 20052005
37
Show details for 20042004
36
Show details for 20032003
39
Show details for 20022002
58
Show details for 20012001
48
Show details for 20002000
61
Show details for 19991999
73
Show details for 19981998
42
Show details for 19971997
64
Show details for 19961996
55
Show details for 19951995
64
Show details for 19941994
47
Show details for 19931993
26
Show details for 19921992
26
Hide details for 19911991
13
Hide details for Proceedings ArticleProceedings Article
Bachmair, Leo
Ganzinger, Harald		Completion of first-order clauses with equality by strict superposition
In: Proceedings of the 2nd International Workshop on Conditional and Typed Rewriting, 162-180
Bachmair, Leo
Ganzinger, Harald		Perfect model semantics for logic programs with equality
In: Proceedings International Conference on Logic Programming '91, 645-659
Basin, David A.
Giunchiglia, Fausto
Traverso, P.		Automating Meta-Theory Creation and System Extension
In: Proc. Trends in AI: 2nd Congress of the Italian Association for Artificial Intelligence (AI*IA), 48-57
Basin, David A.
Howe, D.		Some Normalization Properties of Martin-Löf's Type Theory, and Applications
In: International Conference on Theoretical Aspects of Computer Software (TACS '91), 475-494
Basin, David A.
Kaufmann, Matt		The Boyer-Moore Prover and Nuprl: An Experimental Comparison
In: Logical Frameworks, 90-119
Baumeister, HubertUnifying Initial and Loose Semantics of Parameterized Specifications in an Arbitrary Institution
In: Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT '91), 103-120
Cunningham, J.
Gabbay, Dov M.
Ohlbach, Hans Jürgen		Towards the MEDLAR Framework
In: ESPRIT '91 Conference Proceedings, 822-841
Hanus, MichaelEfficient Implementation of Narrowing and Rewriting
In: Proc. Intern. Workshop on Processing Declarative Knowledge, 344-365
Hanus, MichaelParametric Order-Sorted Types in Logic Programming
In: Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT-91), 181-200
Krischer, Stefan
Bockmayr, Alexander		Detecting Redundant Narrowing Derivations by the LSE-SL Reducibility Test
In: Proceedings of the 4th International Conference on Rewriting Techniques and Applications (RTA '91), 74-85

Previous Page | Next Page | Expand All | Collapse All | Search (Full Text)