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

#		Year		Title	Type
1	Baader, Ohlbach [-]
1	Bach [-]
10	Bachmair, Ganzinger [-]
		1998		Equational Reasoning in Saturation-Based Theorem Proving In: Automated Deduction: A Basis for Applications, 353-397	Part of a Book
		1998		Strict Basic Superposition In: Proceedings of the 15th International Conference on Automated Deduction (CADE-98), 160-174	Proceedings Article
		1995		Associative-Commutative Superposition In: Proceedings of the 4th International Workshop on Conditional and Typed Rewrite Systems (CTRS-94), 1-14	Proceedings Article
		1994		Buchberger'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
		1994		Ordered Chaining for Total Orderings In: Proceedings of the 12th International Conference on Automated Deduction (CADE-12), 435-450	Proceedings Article
		1994		Rewrite-based equational theorem proving with selection and simplification In: Journal of Logic and Computation [4], 217-247	Journal Article
		1994		Rewrite Techniques for Transitive Relations In: Proceedings of the 9th IEEE Symposium on Logic in Computer Science, 384-393	Proceedings Article
		1992		Non-Clausal Resolution and Superposition with Selection and Redundancy Criteria In: Logic Programming and Automated Reasoning, 273-284	Proceedings Article
		1991		Completion 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
		1991		Perfect model semantics for logic programs with equality In: Proceedings International Conference on Logic Programming '91, 645-659	Proceedings Article
1	Bachmair, Ganzinger [Bachmair]
1	Bachmair, Ganzinger [Robinson, Voronkov]
1	Bachmair, Ganzinger, Lynch, Snyder [-]
1	Bachmair, Ganzinger, Lynch, Snyder [Lynch, Snyder]
1	Bachmair, Ganzinger, Stuber [-]
1	Bachmair, Ganzinger, Voronkov [-]
2	Bachmair, Ganzinger, Waldmann [-]
1	Bachmair, Ganzinger, Waldmann [Bachmair, Gottlob, Leitsch, Mundici]
1	Bachmair, Ganzinger, Waldmann [Bachmair]
1	Backes [-]
2	Backes, Wetzel [Wetzel]
1	Ball, Podelski, Rajamani [Ball, Rajamani]
1	Barnett, Basin, Hesketh [-]
5	Barth [-]
6	Barth, Bockmayr [-]
1	Barth, Bockmayr [Barth]
1	Barth, Kleine Büning, Weidenbach [Kleine Büning]

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