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
Schäf
Schlobach
Schmidt
Schmidt, Hustadt
Schmidt, Orłowska, Hustadt
Schmidt, Tishkovsky
Schmidt, Tishkovsky, Hustadt
Schmolzi
She, Ratschan
She, Xia, Xiao
Simon, Freiheit, Olbrich
Smaus
Socher-Ambrosius
Sofronie-Stokkermans
	2007		Automated theorem proving by resolution in non-classic logics In: Discrete Applied Mathematics [?], ?	Sofronie-Stokkermans-dam-06
	2007		On unification for bounded distributive lattices In: ACM Transactions on Computational Logic [8], ?	Sofronie-Stokkermans-unif-05
	2006		Interpolation in local theory extensions In: Proceedings of IJCAR 2006, 235-250	Sofronie-ijcar-06
	2006		Local reasoning in verification In: Proceedings of VERIFY'06: Verification Workshop, 128-145	Sofronie-verify-06
	2006		Sheaves and geometric logic in concurrency In: Proceedings of the Eighth Workshop on Geometric and Topological Methods in Concurrency (GETCO 2006), ?	Sofronie-Stokkermans-getco-06
	2005		Hierarchic reasoning in local theory extensions In: Automated deduction - CADE-20 : 20th International Conference on Automated Deduction, 219-234	Sofronie-cade-05
	2004		Algebraic and logical methods in automated theorem proving and in the study of concurrency Universität des Saarlandes	Sofronie-Stokkermans-hab04
	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	Sofronie-Stokkermans-ismvl-2004
	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	Sofronie-Stokkermans-jim-2003
	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	Sofronie-Stokkermans-mvl-2003
	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	Sofronie-Stokkermans-jsc-2003
	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	Sofronie-Stokkermans-tableaux-2002
	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	Sofronie-Stokkermans1999
	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	Sofronie-Stokkermans2001-ismvl
	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	Sofronie1997b
	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	Sofronie1997c

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