Publications

Entries sorted by: 1. Author,Editor - 2. by Group - 1. by Names of First Author,Editor

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	Schäf
1	Schlobach
9	Schmidt
1	Schmidt, Hustadt
1	Schmidt, Orłowska, Hustadt
4	Schmidt, Tishkovsky
2	Schmidt, Tishkovsky, Hustadt
1	Schmolzi
1	She, Ratschan
1	She, Xia, Xiao
1	Simon, Freiheit, Olbrich
1	Smaus
8	Socher-Ambrosius
27	Sofronie-Stokkermans
		2007		Automated theorem proving by resolution in non-classic logics In: Discrete Applied Mathematics [?], ?	Journal Article
		2007		On unification for bounded distributive lattices In: ACM Transactions on Computational Logic [8], ?	Journal Article
		2006		Interpolation in local theory extensions In: Proceedings of IJCAR 2006, 235-250	Proceedings Article
		2006		Local reasoning in verification In: Proceedings of VERIFY'06: Verification Workshop, 128-145	Electronic Proceedings Article
		2006		Sheaves and geometric logic in concurrency In: Proceedings of the Eighth Workshop on Geometric and Topological Methods in Concurrency (GETCO 2006), ?	Proceedings Article
		2005		Hierarchic reasoning in local theory extensions In: Automated deduction - CADE-20 : 20th International Conference on Automated Deduction, 219-234	Proceedings Article
		2004		Algebraic and logical methods in automated theorem proving and in the study of concurrency Universität des Saarlandes	Thesis - Habilitation thesis
		2004		Resolution-based decision procedures for the positive theory of some finitely generated varieties of algebras In: Proceedings of the 34th International Symposium on Multiple-Valued Logic (ISMVL-2004), 32-37	Proceedings Article
		2003		Automated theorem proving by resolution in non-classical logics In: Fourth International Conference Journees de l'Informatique Messine: Knowledge Discovery and Discrete Mathematics (JIM-03), 151-167	Proceedings Article
		2003		Representation Theorems and the Semantics of Non-classical Logics, and Applications to Automated Theorem Proving In: Beyond Two: Theory and Applications of Multiple Valued Logic, 59-100	Part of a Book
		2003		Resolution-based decision procedures for the universal theory of some classes of distributive lattices with operators In: Journal of Symbolic Computation [36], 891-924	Journal Article
		2002		On uniform word problems involving bridging operators on distributive lattices In: Automated Reasoning with Analytic and Related Methods : International Conference, TABLEAUX 2002, 235-250	Proceedings Article
		2001		Automated Theorem Proving by Resolution for Finitely-Valued Logics Based on Distributive Lattices with Operators In: Multiple-Valued Logic - An International Journal [6], 289-344	Journal Article
		2001		Representation theorems and the semantics of (semi)lattice-based logics In: Proceedings of the 31st IEEE International Symposium on Multiple-Valued Logics, 125-134	Proceedings Article
		2000		Duality and Canonical Extensions of Bounded Distributive Lattices with Operators and Applications to the Semantics of Non-Classical Logics. Part I In: Studia Logica [64], 93-132	Journal Article
		2000		Duality and Canonical Extensions of Bounded Distributive Lattices with Operators and Applications to the Semantics of Non-Classical Logics. Part II In: Studia Logica [64], 151-172	Journal Article

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