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
		Althaus, Ernst	1998		Berechnung optimaler Steinerbäume in der Ebene Universität des Saarlandes
		Christen, Michael	1997		A Calculus of Simplification for Superposition Universität des Saarlandes
		Fischmann, Matthias	1999		On Applications of Decidable Object-Oriented Type Theory Universität des Saarlandes
		Friedrich, Stefan	1998		Integration of a Decision Procedure for Second-Order Monadic Logic in a Higher-Order Logic Theorem Proving Environment Universität des Saarlandes
		Leven, Peter	1998		Integrating Clausal Decision Procedures in a Tactic Based Theorem Prover Universität des Saarlandes
		Naumann, Stefan	1997		Integration des automatischen Beweisers SPASS in die mathematische Assistenzumgebung OMEGA Universität des Saarlandes
		Rau, Rainer	1997		Adaption of a Fuzzy Controller for a Cybernetic System through an Evolutionary Algorithm Universität des Saarlandes
		Schmolzi, Christian	1999		Kooperative koevolutionäre Entwicklung von Fuzzy-Reglern Universität des Saarlandes
		Timm, Jan-Georg	1997		Testing the Satisfiability of RPO Constraints Universität des Saarlandes
		Veit, Jörg	1999		Formal Fairness Proofs for Optimistic Contract Signing Protocols Universität des Saarlandes
11	Thesis - Doctoral dissertation
1	Thesis - Habilitation thesis
1	Miscellaneous
168

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