Prof. Dr. Viorica Sofronie-Stokkermans
Institut für Informatik, Universität Koblenz
- 0261/287-2780
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
Ganzinger, Harald; Sofronie-Stokkermans, Viorica
Chaining Techniques for Automated Theorem Proving in Many-Valued LogicsMarek Perkowski (Hrsg). Proceedings of the 30th IEEE International Symposium on Multiple-Valued Logic ISMVL 2000; May 23-25, 2000; Portland, Oregon, USA. Los Alamitos, CA: IEEE Computer Society 2000 S. 337 - 344
Sofronie-Stokkermans, Viorica
Duality and Canonical Extensions of Bounded Distributive Lattices with Operators, and Applications to the Semantics of Non-Classical Logics IStudia Logica. Bd. 64. H. 1. Dordrecht: Springer 2000 S. 93 - 132
Sofronie-Stokkermans, Viorica
Duality and Canonical Extensions of Bounded Distributive Lattices with Operators, and Applications to the Semantics of Non-Classical Logics IIStudia Logica. Bd. 64. H. 2. Dordrecht: Springer 2000 S. 151 - 172
Sofronie-Stokkermans, Viorica
On Unification for Bonded Distributive LatticesDavid McAllester (Hrsg). Automated Deduction - CADE-17: 17th International Conference on Automated Deduction Pittsburgh, PA, USA, June 17-20, 2000. Proceedings. Berlin: Springer 2000 S. 465 - 481
Sofronie-Stokkermans, Viorica
Resolution-Based Theorem Proving for SHn-LogicsRicardo Caferra; Gernot Salzer (Hrsg). Automated Deduction in Classical and Non-Classical Logics: Selected Papers. Berlin: Springer 2000 S. 267 - 281