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
Hide details for 19941994
2
Show details for Part of a BookPart of a Book
1
Show details for ProceedingsProceedings
43
Show details for Proceedings ArticleProceedings Article
12
Hide details for Journal ArticleJournal Article
Bachmair, Leo
Ganzinger, Harald		Rewrite-based equational theorem proving with selection and simplification
In: Journal of Logic and Computation [4], 217-247
Bachmair, Leo
Ganzinger, Harald
Waldmann, Uwe		Refutational Theorem Proving for Hierarchic First-Order Theories
In: Applicable Algebra in Engineering, Communication and Computing (AAECC) [5], 193-212
Basin, David A.A Term Equality Problem Equivalent to Graph Isomorphism
In: Information Processing Letters [51], 61-66
Basin, David A.Generalized Rewriting in Type Theory
In: Journal of Information Processing and Cybernetics [30], 249-259
Brink, Chris
Britz, Katarina
Schmidt, Renate A.		Peirce Algebras
In: Formal Aspects of Computing [6], 339-358
Brink, Chris
Gabbay, Dov M.
Ohlbach, Hans Jürgen		Towards Automating Duality
In: Journal of Computers and Mathematics with Applications [29], 73-90
Chadha, Ritu
Plaisted, David A.		Correctness of unification without occur check in Prolog
In: Journal of Logic Programming [18], 99-122
Dimopoulos, Yannis
Magirou, Vangelis		A Graph Theoretic Approach to Default Logic
In: Information and Computation [112], 239-256
Hanus, MichaelThe Integration of Functions into Logic Programming: From Theory to Practice
In: Journal of Logic Programming [19 & 20], 583-628
Lee, Shie-Jue
Plaisted, David A.		Problem solving by searching for models with a theorem prover
In: Artificial Intelligence [69], 205-233

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