Ganzinger, Harald; Sofronie-Stokkermans, Viorica
Chaining Techniques for Automated Theorem Proving in Many-Valued Logics.ISMVL. 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 I.Studia Logica. Bd. 64. H. 1. 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 II.Studia Logica. Bd. 64. H. 2. 2000 S. 151 - 172
Sofronie-Stokkermans, Viorica
On Unification for Bonded Distributive Lattices.CADE. 2000 S. 465 - 481
Sofronie-Stokkermans, Viorica; Stokkermans, Karel
Modeling Interaction by Sheaves and Geometric Logic.FCT. 1999 S. 512 - 523
Sofronie-Stokkermans, Viorica
On the Universal Theory of Varieties of Distributive Lattices with Operators: Some Decidability and Complexity Results.CADE. 1999 S. 157 - 171
Sofronie-Stokkermans, Viorica
Representation Theorems and Theorem Proving in Non-Classical Logics.ISMVL. 1999 S. 242 - 247
Sofronie-Stokkermans, Viorica
On Translation of Finitely-Valued Logics to Classical First-Order Logic.ECAI. 1998 S. 410 - 411
Sofronie-Stokkermans, Viorica
Resolution-Based Theorem Proving for -Logics.FTP (LNCS Selection). 1998 S. 267 - 281
Sofronie, Viorica
Towards a Sheaf Semantics for Cooperating Agents Scenarios.AISMC. 1996 S. 289 - 304