Sofronie-Stokkermans, Viorica
On unification for bounded distributive latticesACM Transactions on Computational Logic. Bd. 8. H. 2. New York, NY: ACM Association for Computing Machinery 2007 S. 12
Faber, Johannes; Jacobs, Swen; Sofronie-Stokkermans, Viorica
Verifying CSP-OZ-DC Specifications with Complex Data Types and Timing ParametersJim Davies; Jeremy Gibbons (Hrsg). Integrated Formal Methods: 6th International Conference, IFM 2007, Oxford, UK, July 2-5, 2007. Proceedings. Berlin: Springer 2007 S. 233 - 252
Sofronie-Stokkermans, Viorica
Interpolation in Local Theory ExtensionsUlrich Furbach; Natarajan Shankar (Hrsg). Automated Reasoning: Third International Joint Conference, IJCAR 2006; Seattle, WA, USA; August 17-20, 2006. Proceedings. Berlin: Springer 2006 S. 235 - 250
Ganzinger, Harald; Sofronie-Stokkermans, Viorica; Waldmann, Uwe
Modular proof systems for partial functions with Evans equalityInformation and Computation. Bd. 204. H. 10. Amsterdam: Elsevier 2006 S. 1453 - 1492
Sofronie-Stokkermans, Viorica
Hierarchic Reasoning in Local Theory ExtensionsRobert Nieuwenhuis (Hrsg). Automated Deduction - CADE-20: 20th International Conference on Automated Deduction, Tallinn, Estonia, July 22-27, 2005. Proceedings. Berlin: Springer 2005 S. 219 - 234
Ganzinger, Harald; Sofronie-Stokkermans, Viorica; Waldmann, Uwe
Modular Proof Systems for Partial Functions with Weak EqualityDavid Basin; Michaël Rusinowitch (Hrsg). Automated Reasoning: Second International Joint Conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004. Proceedings. Berlin: Springer 2004 S. 168 - 182
Sofronie-Stokkermans, Viorica
Resolution-Based Decision Procedures for the Positive Theory of Some Finitely Generated Varieties of AlgebrasAli Sheikholeslami; P. Glenn Gulak (Hrsg). Proceedings of the 34th International Symposium on Multiple-Valued Logic ISMVL 2004; May 19 – 22, 2004; University of Toronto, Toronto, Canada. Los Alamitos, CA: IEEE Computer Society 2004 S. 32 - 37
Sofronie-Stokkermans, Viorica
Resolution-based decision procedures for the universal theory of some classes of distributive lattices with operatorsJournal of Symbolic Computation. Bd. 36. H. 6. Amsterdam: Elsevier 2003 S. 891 - 924
Sofronie-Stokkermans, Viorica
On Uniform Word Problems Involving Bridging Operators on Distributive LatticesUwe Egly; Chritian G. Fermüller (Hrsg). Automated Reasoning with Analytic Tableaux and Related Methods: International Conference, TABLEAUX 2002 Copenhagen, Denmark, July 30 – August 1, 2002 Proceedings. Berlin: Springer 2002 S. 235 - 250
Sofronie-Stokkermans, Viorica
Representation Theorems and the Semantics of (Semi)Lattice-Based LogicsBeata Konikowska; Bogusław Martyniak; Ewa Gąsiorowska-Wirpszo; Andrzej Szałas (Hrsg). Proceedings of the 31st IEEE International Symposium on Muliple-Valued Logic ISMVL 2001; 22-24 May 2001; Warsaw, Poland. Los Alamitos, CA: IEEE Computer Society 2001 S. 125 - 134