Ergebnisse pro Seite:
25
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
Sofronie, Viorica
Formula-handling computer solution of Boolean equations, I. Ring equations.Bulletin of the EATCS. Bd. 37. 1989 S. 181 - 185