BibTeX cite key | Author/Editor | Year | | Title | Type |
Sofronie-Stokkermans1999 | Sofronie-Stokkermans, Viorica | 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 |
Sofronie-Stokkermans1999-cade | Sofronie-Stokkermans, Viorica | 1999 | | On the Universal Theory of Varieties of Distributive Lattices with Operators: Some Decidability and Complexity Results
In: Proceedings of the 16th International Conference on Automated Deduction (CADE-16), 157-171 | Proceedings Article |
Sofronie-Stokkermans1999-fct | Sofronie-Stokkermans, Viorica
Stokkermans, Karel | 1999 | | Modeling Interaction by Sheaves and Geometric Logic
In: Proceedings of the 12th International Symposium Fundamentals of Computation Theory (FCT-99), 512-523 | Proceedings Article |
Sofronie-Stokkermans1999-ismvl | Sofronie-Stokkermans, Viorica | 1999 | | Representation Theorems and Automated Theorem Proving in Non-Classical Logics
In: Proceedings of the 29th IEEE International Symposium on Multiple-Valued Logic (ISMVL-99), 242-247 | Proceedings Article |
Sofronie-Stokkermans1999-lmps | Sofronie-Stokkermans, Viorica | 1999 | | Resolution-based theorem proving for non-classical logics based on distributive lattices with operators
In: Proceedings of the 11th International Congress of Logic, Methodology and Philosophy of Science. Volume of abstracts, 481-481 | Proceedings Article |
Sofronie-Stokkermans2000-atlas-1 | Iturrioz, Luisa
Sofronie-Stokkermans, Viorica | 2000 | | SHn-algebras (Symmetric Heyting algebras of order n)
In: COST Action 15 (Many-Valued Logics for Computer Science Applications) ATLAS of Many-Valued Structures, 1-11 | Part of a Book |
Sofronie-Stokkermans2000-atlas-2 | Sofronie-Stokkermans, Viorica | 2000 | | Some properties of Kleene algebras
In: COST Action 15 (Many-Valued Logics for Computer Science Applications) ATLAS of Many-Valued Structures, 1-7 | Part of a Book |
Sofronie-Stokkermans2001-ismvl | Sofronie-Stokkermans, Viorica | 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 |
Sofronie-verify-06 | Sofronie-Stokkermans, Viorica | 2006 | | Local reasoning in verification
In: Proceedings of VERIFY'06: Verification Workshop, 128-145 | Electronic Proceedings Article |
Sofronie1997a | Sofronie-Stokkermans, Viorica | 2000 | | Priestley Duality for SHn-algebras and Applications to the Study of Kripke-style Models for SHn-logics
In: Multiple-Valued Logic - An International Journal [5], 281-305 | Journal Article |
Sofronie1997b | Sofronie-Stokkermans, Viorica | 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 |
Sofronie1997c | Sofronie-Stokkermans, Viorica | 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 |
Sofronie1998a | Sofronie-Stokkermans, Viorica | 1998 | | On Translation of Finitely-Valued Logics to Classical First-Order Logic
In: Proceedings of the 13th European Conference on Artificial Intelligence (ECAI-98), 410-411 | Proceedings Article |
Sofronie1998b | Sofronie-Stokkermans, Viorica | 1998 | | Resolution-based Theorem Proving for SHn-Logics | Report |
Sofronie1998c | Sofronie-Stokkermans, Viorica | 1998 | | Representation Theorems and Automated Theorem Proving in Certain Classes of Non-Classical Logics
In: Proceedings of the Workshop on Many-Valued Logic for AI Applications (ECAI-98), ?-? | Proceedings Article |
Struth94a | Struth, Georg | 1994 | | Philosophical Logics: A Survey and a Bibliography | Report |
Struth94b | Struth, Georg | 1994 | | Intensionality, Possible Worlds and Propositional Attitudes: Formal and Philosophical Foundations of Modal Semantics
In: KI-94 Workshops: Extended Abstracts, 108-109 | Proceedings Article |
Struth97 | Struth, Georg | 1997 | | On the Word Problem for Free Lattices
In: Proceedings of the 8th International Conference on Rewriting Techniques and Applications (RTA-97), 128-141 | Proceedings Article |
StruthDiss1999 | Struth, Georg | 1998 | | Canonical Transformation in Algebra, Universal Algebra and Logic
Universität des Saarlandes | Thesis - PhD thesis |
Stuber1998AutDed | Stuber, Jürgen | 1998 | | Superposition theorem proving for commutative rings
In: Automated Deduction - A Basis for Applications. Volume III. Applications, 31-55 | Part of a Book |
Stuber1998TCS | Stuber, Jürgen | 1998 | | Superposition theorem proving for abelian groups represented as integer modules
In: Theoretical Computer Science [208], 149-177 | Journal Article |
Stuber1999 | Stuber, Jürgen | 1999 | | Superposition Theorem Proving for Commutative Algebraic Theories
Universität des Saarlandes | Thesis - PhD thesis |
Stuber1999RTA | Stuber, Jürgen | 1999 | | Theory path orderings
In: Proceedings of the 10th International Conference on Rewriting Techniques and Applications (RTA-99), 148-162 | Proceedings Article |
Stuber2000RTA | Stuber, Jürgen | 2000 | | Deriving Theory Superposition Calculi from Convergent Term Rewriting Systems
In: Proceedings of the 11th International Conference Rewriting Techniques and Applications (RTA-00), 229-245 | Proceedings Article |
Stuber91 | Stuber, Jürgen | 1991 | | Inductive Theorem Proving for Horn Clauses
Universität Dortmund | Thesis - Masters thesis |
StuberFTP97 | Stuber, Jürgen | 1997 | | Strong Symmetrization, Semi-Compatibility of Normalized Rewriting and First-Order Theorem Proving
In: Proceedings of the International Workshop on First-Order Theorem Proving (FTP-97), 125-129 | Proceedings Article |
StuberICLP94 | Stuber, Jürgen | 1994 | | Computing Stable Models by Program Transformation
In: Proceedings of the 11th International Conference on Logic Programming (ICLP'94), 58-73 | Proceedings Article |
StuberRTA96 | Stuber, Jürgen | 1996 | | Superposition Theorem Proving for Abelian Groups Represented as Integer Modules
In: Rewriting Techniques and Applications, 7th International Conference, RTA-96, 33-47 | Proceedings Article |
Suchanek:DA:2005 | Suchanek, Fabian M. | 2005 | | Ontological Reasoning for Natural Language Understanding
Universität des Saarlandes | Thesis - Masters thesis |
Talbot2000c | Talbot, Jean-Marc | 2000 | | On the Alternation-free Horn mu-calculus
In: Proceedings of the 7th International Conference on Logic for Programming and Automated Reasoning (LPAR-2000), 418-435 | Proceedings Article |