Publications

Entries sorted by: 3. Type of Publication - 3. All Types: 15.4.1997-15.4.1999

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

#		Author/Editor	Year		Title	Publisher / Institution
1	Book
11	Part of a Book
3	Proceedings
85	Proceedings Article
43	Journal Article
2	Report
10	Thesis - Master's thesis
11	Thesis - Doctoral dissertation
		Baumeister, Hubert	1999		Relations between Abstract Datatypes modeled as Abstract Datatypes Universität des Saarlandes
		Hustadt, Ullrich	1999		Resolution-Based Decision Procedures for Subclasses of First-Order Logic Universität des Saarlandes
		Kasper, Thomas	1998		A Unifying Logical Framework for Integer Linear Programming and Finite Domain Constraint Programming Universität des Saarlandes
		Meyer, Christoph	1999		Soft Typing for Clausal Inference Systems Universität des Saarlandes
		Schmidt, Renate A.	1997		Optimised Modal Translation and Resolution Universität des Saarlandes
		Struth, Georg	1998		Canonical Transformation in Algebra, Universal Algebra and Logic Universität des Saarlandes
		Stuber, Jürgen	1999		Superposition Theorem Proving for Commutative Algebraic Theories Universität des Saarlandes
		Tzakova, Miroslava	1999		Hybrid Languages Universität des Saarlandes
		Viganò, Luca	1997		A Framework for Non-Classical Logics Universität des Saarlandes
		Waldmann, Uwe	1997		Cancellative Abelian Monoids in Refutational Theorem Proving Universität des Saarlandes
		Zeyer, Jörg	1997		Eine Beobachtungs-Logik für modulare Sprachen Universität des Saarlandes
1	Thesis - Habilitation thesis
1	Miscellaneous
168

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