MPI-INF Logo
Publications

Server    halma.mpi-inf.mpg.de

Publications

Entries sorted by: 1. Author,Editor - 2. by Group - 4. with BibTeX cite keys

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

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