MPI-INF Logo
Publications

Server    halma.mpi-inf.mpg.de

Publications

Entries sorted by: 1. Author,Editor - 2. by Group - 3. by Names Including [Non Members]

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, Podelski [Abdelwaheb, Basin]Abdelwaheb, Basin, Podelski [Abdelwaheb, Basin]
1
Show details for Afshordel, Hillenbrand, Weidenbach [Nieuwenhuis, Voronkov]Afshordel, Hillenbrand, Weidenbach [Nieuwenhuis, Voronkov]
1
Show details for Ahrendt, Baumgartner, de Nivelle (ed.) [Ahrendt, Baumgartner]Ahrendt, Baumgartner, de Nivelle (ed.) [Ahrendt, Baumgartner]
1
Show details for Althaus [-]Althaus [-]
1
Show details for Anderson, Basin [-]Anderson, Basin [-]
1
Show details for Anderson, Basin [Anderson]Anderson, Basin [Anderson]
1
Show details for Antoy, Echahed, Hanus [Antoy, Echahed]Antoy, Echahed, Hanus [Antoy, Echahed]
1
Show details for Areces, de Rijke, de Nivelle [Areces, de Rijke]Areces, de Rijke, de Nivelle [Areces, de Rijke]
1
Show details for Argon, Delzanno, Mukhopadhyay, Podelski [Argon, Delzanno]Argon, Delzanno, Mukhopadhyay, Podelski [Argon, Delzanno]
1
Show details for Autexier [-]Autexier [-]
1
Show details for Avenhaus, Hillenbrand, Löchner [Avenhaus, Löchner, Avenhaus, Löchner]Avenhaus, Hillenbrand, Löchner [Avenhaus, Löchner, Avenhaus, Löchner]
1
Show details for Ayari [-]Ayari [-]
2
Show details for Ayari, Basin [-]Ayari, Basin [-]
1
Show details for Ayari, Basin [Ayari]Ayari, Basin [Ayari]
1
Show details for Baader, Ohlbach [-]Baader, Ohlbach [-]
1
Show details for Bach [-]Bach [-]
10
Hide details for Bachmair, Ganzinger [-]Bachmair, Ganzinger [-]
1998Equational Reasoning in Saturation-Based Theorem Proving
In: Automated Deduction: A Basis for Applications, 353-397		Part of a Book
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
1
Show details for Bachmair, Ganzinger [Bachmair]Bachmair, Ganzinger [Bachmair]
1
Show details for Bachmair, Ganzinger [Robinson, Voronkov]Bachmair, Ganzinger [Robinson, Voronkov]
1
Show details for Bachmair, Ganzinger, Lynch, Snyder [-]Bachmair, Ganzinger, Lynch, Snyder [-]

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