MPI-INF Logo
Publications

Server    halma.mpi-inf.mpg.de

Publications

Entries sorted by: 1. Author,Editor - 2. by Group - 1. by Names of First Author,Editor

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
#YearTitleType
1
Show details for Abdelwaheb, Basin, PodelskiAbdelwaheb, Basin, Podelski
1
Show details for Afshordel, Hillenbrand, WeidenbachAfshordel, Hillenbrand, Weidenbach
1
Show details for Ahrendt, Baumgartner, de Nivelle (ed.)Ahrendt, Baumgartner, de Nivelle (ed.)
1
Show details for AlthausAlthaus
2
Show details for Anderson, BasinAnderson, Basin
1
Show details for Antoy, Echahed, HanusAntoy, Echahed, Hanus
1
Show details for Areces, de Rijke, de NivelleAreces, de Rijke, de Nivelle
1
Show details for Argon, Delzanno, Mukhopadhyay, PodelskiArgon, Delzanno, Mukhopadhyay, Podelski
1
Show details for AutexierAutexier
1
Show details for Avenhaus, Hillenbrand, LöchnerAvenhaus, Hillenbrand, Löchner
1
Show details for AyariAyari
3
Show details for Ayari, BasinAyari, Basin
1
Show details for Baader, OhlbachBaader, Ohlbach
1
Show details for BachBach
12
Hide details for Bachmair, GanzingerBachmair, Ganzinger
2001Attachment IconResolution Theorem Proving
In: Handbook of Automated Reasoning, 19-99		Part of a Book
1998Equational Reasoning in Saturation-Based Theorem Proving
In: Automated Deduction: A Basis for Applications, 353-397		Part of a Book
1998Ordered Chaining Calculi for First-Order Theories of Transitive Relations
In: Journal of the ACM [45], 1007-1049		Journal Article
1998Strict Basic Superposition
In: Proceedings of the 15th International Conference on Automated Deduction (CADE-98), 160-174		Proceedings Article
1995Associative-Commutative Superposition
In: Proceedings of the 4th International Workshop on Conditional and Typed Rewrite Systems (CTRS-94), 1-14		Proceedings Article
1994Buchberger's algorithm: a constraint-based completion procedure
In: Proceedings of the 1st International Conference on Constraints in Computational Logics (CCL'94), 285-301		Proceedings Article
1994Ordered Chaining for Total Orderings
In: Proceedings of the 12th International Conference on Automated Deduction (CADE-12), 435-450		Proceedings Article
1994Rewrite-based equational theorem proving with selection and simplification
In: Journal of Logic and Computation [4], 217-247		Journal Article
1994Rewrite Techniques for Transitive Relations
In: Proceedings of the 9th IEEE Symposium on Logic in Computer Science, 384-393		Proceedings Article
1992Non-Clausal Resolution and Superposition with Selection and Redundancy Criteria
In: Logic Programming and Automated Reasoning, 273-284		Proceedings Article
1991Completion of first-order clauses with equality by strict superposition
In: Proceedings of the 2nd International Workshop on Conditional and Typed Rewriting, 162-180		Proceedings Article
1991Perfect model semantics for logic programs with equality
In: Proceedings International Conference on Logic Programming '91, 645-659		Proceedings Article
2
Show details for Bachmair, Ganzinger, Lynch, SnyderBachmair, Ganzinger, Lynch, Snyder
1
Show details for Bachmair, Ganzinger, StuberBachmair, Ganzinger, Stuber
1
Show details for Bachmair, Ganzinger, VoronkovBachmair, Ganzinger, Voronkov

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