BibTeX cite key | Author/Editor | Year | | Title | Type |
socher92b | Socher-Ambrosius, Rolf | 1992 | | How to Avoid the Derivation of Redundant Clauses in Reasoning Systems
In: Journal of Automated Reasoning [9], 325-336 | Journal Article |
Socher93a | Socher-Ambrosius, Rolf | 1993 | | Unification in Order-Sorted Logic with Term Declarations
In: Proceedings of the 4th Conference on Logic Programming and Automated Reasoning (LPAR-93), 301-308 | Proceedings Article |
socher94a | Socher-Ambrosius, Rolf | 1994 | | A Refined Version of General E-Unification
In: Proceedings of the 12th International Conference on Automated Deduction (CADE-12), 665-677 | Proceedings Article |
Sofronie-cade-05 | Sofronie-Stokkermans, Viorica | 2005 | | Hierarchic reasoning in local theory extensions
In: Automated deduction - CADE-20 : 20th International Conference on Automated Deduction, 219-234 | Proceedings Article |
Sofronie-ijcar-06 | Sofronie-Stokkermans, Viorica | 2006 | | Interpolation in local theory extensions
In: Proceedings of IJCAR 2006, 235-250 | Proceedings Article |
Sofronie-Stokkermans-cade2000 | Sofronie-Stokkermans, Viorica | 2000 | | On unification for bounded distributive lattices
In: Proceedings of the 17th International Conference on Automated Deduction (CADE-17), 465-481 | Proceedings Article |
Sofronie-Stokkermans-dam-06 | Sofronie-Stokkermans, Viorica | 2007 | | Automated theorem proving by resolution in non-classic logics
In: Discrete Applied Mathematics [?], ? | Journal Article |
Sofronie-Stokkermans-dualities1999 | Sofronie-Stokkermans, Viorica | 1999 | | Priestley representation for distributive lattices with operators and applications to automated theorem proving
In: Dualities, Interpretability and Ordered Structures, 43-54 | Proceedings Article |
Sofronie-Stokkermans-ftp2000 | Sofronie-Stokkermans, Viorica | 2000 | | Resolution-based theorem proving for SHn-logics
In: Automated Deduction in Classical and Non-Classical Logic (Selected Papers of FTP'98), 268-282 | Proceedings Article |
Sofronie-Stokkermans-getco-06 | Sofronie-Stokkermans, Viorica | 2006 | | Sheaves and geometric logic in concurrency
In: Proceedings of the Eighth Workshop on Geometric and Topological Methods in Concurrency (GETCO 2006), ? | Proceedings Article |
Sofronie-Stokkermans-hab04 | Sofronie-Stokkermans, Viorica | 2004 | | Algebraic and logical methods in automated theorem proving and in the study of concurrency
Universität des Saarlandes | Thesis - Habilitation thesis |
Sofronie-Stokkermans-ismvl-2004 | Sofronie-Stokkermans, Viorica | 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 |
Sofronie-Stokkermans-jim-2003 | Sofronie-Stokkermans, Viorica | 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 |
Sofronie-Stokkermans-jsc-2003 | Sofronie-Stokkermans, Viorica | 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 |
Sofronie-Stokkermans-mvl-2003 | Sofronie-Stokkermans, Viorica | 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 |
Sofronie-Stokkermans-tableaux-2002 | Sofronie-Stokkermans, Viorica | 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 |
Sofronie-Stokkermans-unif-05 | Sofronie-Stokkermans, Viorica | 2007 | | On unification for bounded distributive lattices
In: ACM Transactions on Computational Logic [8], ? | Journal Article |
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 |