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

	Year		Title	BibTeX cite key
Bach
	1996		Static analysis of functional programs via Linear Logic Universität des Saarlandes	Bach96
Bachmair, Ganzinger
	2001		Resolution Theorem Proving In: Handbook of Automated Reasoning, 19-99	BachmairGanzinger-01-har
	1998		Equational Reasoning in Saturation-Based Theorem Proving In: Automated Deduction: A Basis for Applications, 353-397	BachmairGanzinger-98-sppd
	1998		Ordered Chaining Calculi for First-Order Theories of Transitive Relations In: Journal of the ACM [45], 1007-1049	BachmairGanzinger-98-jacm
	1998		Strict Basic Superposition In: Proceedings of the 15th International Conference on Automated Deduction (CADE-98), 160-174	BachmairGanzinger-98-cade
	1995		Associative-Commutative Superposition In: Proceedings of the 4th International Workshop on Conditional and Typed Rewrite Systems (CTRS-94), 1-14	BachmairGanzinger-95-ctrs
	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	BachmairGanzinger-94-ccl
	1994		Ordered Chaining for Total Orderings In: Proceedings of the 12th International Conference on Automated Deduction (CADE-12), 435-450	BachmairGanzinger-94-cade
	1994		Rewrite-based equational theorem proving with selection and simplification In: Journal of Logic and Computation [4], 217-247	BachmairGanzinger-94-jlc
	1994		Rewrite Techniques for Transitive Relations In: Proceedings of the 9th IEEE Symposium on Logic in Computer Science, 384-393	BachmairGanzinger-94-lics
	1992		Non-Clausal Resolution and Superposition with Selection and Redundancy Criteria In: Logic Programming and Automated Reasoning, 273-284	BachmairGanzinger-92-lpar
	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	BachmairGanzinger-91-ctrs
	1991		Perfect model semantics for logic programs with equality In: Proceedings International Conference on Logic Programming '91, 645-659	BachmairGanzinger-91-iclp
Bachmair, Ganzinger, Lynch, Snyder
	1995		Basic Paramodulation In: Information and Computation [121], 172-192	Bachmair-et-al-95-ic
	1992		Basic Paramodulation and Superposition In: Proceedings of the 11th International Conference on Automated Deduction (CADE-11), 462-476	Bachmair-et-al-92-cade
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	BachmairGanzingerStuber-95-compass
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	BachmairGanzingerVoronkov-98-cade
Bachmair, Ganzinger, Waldmann
	1994		Refutational Theorem Proving for Hierarchic First-Order Theories In: Applicable Algebra in Engineering, Communication and Computing (AAECC) [5], 193-212	BachmairGanzingerWaldmann-94-aaecc
	1993		Set Constraints are the Monadic Class In: Eighth Annual IEEE Symposium on Logic in Computer Science, 75-83	BachmairGanzingerWaldmann-93-lics
	1993		Superposition with simplification as a decision procedure for the monadic class with equality In: Computational Logic and Proof Theory, Third Kurt Gödel Colloquium, KGC'93, 83-96	BachmairGanzingerWaldmann-93-kgs
	1992		Theorem proving for hierarchic first-order theories In: Algebraic and Logic Programming, 420-434	BachmairGanzingerWaldmann-92-alp
Backes
	2005		Programmanalyse des XRTL Zwischencodes Universität des Saarlandes	BackesDiss2005
Backes, Wetzel

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