Max-Planck-Institut für Informatik
max planck institut
informatik
mpii logo Minerva of the Max Planck Society
 

Publications Master Template

Publications Master Template

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 Thesis - Masters thesisThesis - Masters thesis
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
Hide details for 19921992
4
Show details for Part of a BookPart of a Book
17
Hide details for Proceedings ArticleProceedings Article
Bachmair, Leo
Ganzinger, Harald
Non-Clausal Resolution and Superposition with Selection and Redundancy Criteria
In: Logic Programming and Automated Reasoning, 273-284
Bachmair, Leo
Ganzinger, Harald
Lynch, Christopher
Snyder, Wayne
Basic Paramodulation and Superposition
In: Proceedings of the 11th International Conference on Automated Deduction (CADE-11), 462-476
Bachmair, Leo
Ganzinger, Harald
Waldmann, Uwe
Theorem proving for hierarchic first-order theories
In: Algebraic and Logic Programming, 420-434
Basin, David A.
Walsh, Toby
Difference Matching
In: Proceedings of the11th International Conference on Automated Deduction (CADE-11), 295-309
Bockmayr, AlexanderA Theoretical Basis for Constraint Logic and Functional Programming
In: Proc.~1st African Conference on Research in Computer Science, 793-804
Bockmayr, AlexanderAlgebraic and Logical Aspects of Unification
In: Proc.~1st Workshop on Word Equations and Related Topics, 171-180
Bockmayr, AlexanderModel-Theoretic Aspects of Unification
In: Proceedings of the 1st Workshop on Word Equations and Related Topics, 181-196
Frank, Ian
Basin, David A.
Bundy, Alan
Finesse: An Adaptation of Proof-Planning to Declarer Play in Bridge
In: Proceedings of the 10th European Conference on Artificial Intelligence (ECAI-92), 72-76
Gabbay, Dov M.
Ohlbach, Hans Jürgen
From a Hilbert Calculus to its Model Theoretic Semantics
In: Proc.~4th Annual UK Conference on Logic Programming (APULK '92), 218-252
Gabbay, Dov M.
Ohlbach, Hans Jürgen
Quantifier Elimination in Second-Order Predicate Logic
In: Principles of Knowledge Representation and Reasoning (KR92),, 425-435
In: South African Computer Journal [7], 425-435
Ganzinger, Harald
Waldmann, Uwe
Termination Proofs of Well-Moded Logic Programs Via Conditional Rewrite Systems
In: Proceedings of the 3rd International Workshop on Conditional Term Rewriting Systems '92, 430-437
Hanus, MichaelImproving Control of Logic Programs by Using Functional Logic Languages
In: Proceedings 4th International Symposium on Programming Language Implementation and Logic Programming, 1-23
Hanus, MichaelIncremental Rewriting in Narrowing Derivations
In: Proceedings of the 3rd International Conference on Algebraic and Logic Programming (ALP-92), 228-243
Hanus, MichaelOn the Completeness of Residuation
In: Proceedings of the 1992 Joint International Conference and Symposium on Logic Programming, 192-206
Madden, PeterAutomated Program Transformation Through Proof Transformation
In: Proceedings of the 11th International Conference on Automated Deduction (CADE-11), 446-460
Matthews, SeánReflection in a Logical System
In: Proc.~IMSA '92 Workshop on Reflection and Meta-Level Architecture, 178-183
Socher-Ambrosius, RolfA Goal Oriented Strategy Based on Completion
In: Proc.~3rd Intern.~Conference on Algebraic and Logic Programming, 435-445
4
Show details for Journal ArticleJournal Article
1
Show details for Thesis - Masters thesisThesis - Masters thesis
26
Show details for 19911991
2
Show details for 19901990
1
Show details for 19881988
782

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