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
		Bachmair, Leo Ganzinger, Harald	1998		Equational Reasoning in Saturation-Based Theorem Proving In: Automated Deduction: A Basis for Applications, 353-397	Kluwer
		Basin, David A. Krieg-Brückner, Bernd	1999		Formalization of the Development Process In: Algebraic foundations of systems specification, 521-562	Springer
		Bozzano, Marco Delzanno, Giorgio Martelli, Maurizio Mascardi, Viviana Zini, Floriano	1999		Logic Programming and Multi-Agent Systems: a Synergic Combination for Applications and Semantics In: The Logic Programming Paradigm: a 25-Year Perspective, 5-32	Springer
		Nonnengart, Andreas Szalas, Andrzej	1999		A Fixpoint Approach to Second-Order Quantifier Elimination with Applications to Correspondence Theory In: Logic at Work: Essays Dedicated to the Memory of Helena Rasiowa, 18	Springer
		Schmidt, Renate A.	1998		Resolution is a Decision Procedure for Many Propositional Modal Logics In: Advances in Modal Logic, Volume 1, 189-208	CSLI
		Stuber, Jürgen	1998		Superposition theorem proving for commutative rings In: Automated Deduction - A Basis for Applications. Volume III. Applications, 31-55	Kluwer
		van der Torre, Leendert W. N. Tan, Yao-Hua	1999		An update semantics for deontic reasoning In: Norms, Logics and Information Systems: New Studies on Deontic Logic and Computer Science, 73-90	IOS Press
		van der Torre, Leendert W. N. Tan, Yao-Hua	1999		Contextual Deontic Logic: violation contexts and factual defeasibility In: Formal Aspects in Context, 173-192	Kluwer
		Weidenbach, Christoph	1998		Rechnen in sortierter Prädikatenlogik In: Ausgezeichnete Informatikdissertationen 1997, 183-197	Teubner
		Weidenbach, Christoph	1998		Sorted Unification and Tree Automata In: Automated Deduction - A Basis for Applications, 291-320	Kluwer
		Weydert, Emil	1999		JZBR - Iterated Belief Change for Conditional Ranking Constraints In: Spinning Ideas - Electronic Essays Dedicated to Peter Gaerdenfors on His Fiftieth Birthday, 1-11	Lund University Cognitive Science
3	Proceedings
85	Proceedings Article
43	Journal Article
2	Report
10	Thesis - Master's thesis
11	Thesis - Doctoral dissertation
1	Thesis - Habilitation thesis
1	Miscellaneous
168

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