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 [-]
		1995		A Multi-Dimensional Terminological Knowledge Representation Language In: Journal of Applied Non-Classical Logics [5], 153-198	Journal Article
1	Bach [-]
		1996		Static analysis of functional programs via Linear Logic Universität des Saarlandes	Thesis - Masters thesis
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]
		1998		Ordered Chaining Calculi for First-Order Theories of Transitive Relations In: Journal of the ACM [45], 1007-1049	Journal Article
1	Bachmair, Ganzinger [Robinson, Voronkov]
		2001		Resolution Theorem Proving In: Handbook of Automated Reasoning, 19-99	Part of a Book
1	Bachmair, Ganzinger, Lynch, Snyder [-]
		1992		Basic Paramodulation and Superposition In: Proceedings of the 11th International Conference on Automated Deduction (CADE-11), 462-476	Proceedings Article
1	Bachmair, Ganzinger, Lynch, Snyder [Lynch, Snyder]
		1995		Basic Paramodulation In: Information and Computation [121], 172-192	Journal Article
1	Bachmair, Ganzinger, Stuber [-]
		1995		Combining Algebra and Universal Algebra in First-Order Theorem Proving: The Case of Commutative Rings In: Recent Trends in Data Type Specification. 10th Workshop on Specification of Abstract Data Types Joint with the 5th COMPASS Workshop, 1-29	Proceedings Article
1	Bachmair, Ganzinger, Voronkov [-]
		1998		Elimination of Equality via Transformation with Ordering Constraints In: Proceedings of the 15th International Conference on Automated Deduction (CADE-98), 175-190	Proceedings Article
2	Bachmair, Ganzinger, Waldmann [-]
		1994		Refutational Theorem Proving for Hierarchic First-Order Theories In: Applicable Algebra in Engineering, Communication and Computing (AAECC) [5], 193-212	Journal Article
		1992		Theorem proving for hierarchic first-order theories In: Algebraic and Logic Programming, 420-434	Proceedings Article

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