| Publication | Date of Publication | Type |
|---|
| scientific article; zbMATH DE number 5320061 (Why is no real title available?) | 2008-09-03 | Paper |
Simplification rules for the coherent probability assessment problem
Annals of Mathematics and Artificial Intelligence | 2002-06-27 | Paper |
| Computational aspects of probability logics | 2002-04-24 | Paper |
Complexity of fuzzy probability logics
Fundamenta Informaticae | 2001-11-13 | Paper |
| scientific article; zbMATH DE number 1531039 (Why is no real title available?) | 2000-11-15 | Paper |
\(\Sigma_ 1^ 1\)-completeness of a fragment of the theory of trees with subtree relation
Notre Dame Journal of Formal Logic | 1995-09-28 | Paper |
Decidability of the existential theory of infinite terms with subterm relation
Information and Computation | 1994-02-22 | Paper |
| scientific article; zbMATH DE number 465525 (Why is no real title available?) | 1993-12-12 | Paper |
Quantifier elimination for infinite terms
Archive for Mathematical Logic | 1992-06-25 | Paper |
On a conjecture of Bergstra and Tucker
Theoretical Computer Science | 1989-01-01 | Paper |
| scientific article; zbMATH DE number 4003501 (Why is no real title available?) | 1987-01-01 | Paper |
Horn sentences excluding a prime
Algebra Universalis | 1986-01-01 | Paper |
Horn Sentences of Small Size in Identity Theory
Mathematical Logic Quarterly | 1986-01-01 | Paper |
| scientific article; zbMATH DE number 3914393 (Why is no real title available?) | 1985-01-01 | Paper |
An algorithm to determine, for any prime p, a polynomial-sized Horn sentence which expresses “The cardinality is not p”
Journal of Symbolic Logic | 1985-01-01 | Paper |
| On the Universal Theory of Classes of Finite Models | 1984-01-01 | Paper |
| scientific article; zbMATH DE number 3829878 (Why is no real title available?) | 1983-01-01 | Paper |
On the size of congruence lattices for models of theories with definability of congruences
Algebra Universalis | 1983-01-01 | Paper |
A use of the method of interpretations for decidability or undecidability of measure spaces
Algebra Universalis | 1982-01-01 | Paper |
On classes of algebras with the definability of congruences
Algebra Universalis | 1982-01-01 | Paper |
| scientific article; zbMATH DE number 3835998 (Why is no real title available?) | 1982-01-01 | Paper |
Model‐Completions of Theories of Finitely Additive Measures with Values in An Ordered Field
Mathematical Logic Quarterly | 1981-01-01 | Paper |
| scientific article; zbMATH DE number 3702614 (Why is no real title available?) | 1980-01-01 | Paper |
The Hanf number for classes of algebras whose largest congruence is always finitely generated
Algebra Universalis | 1979-01-01 | Paper |
| scientific article; zbMATH DE number 3695529 (Why is no real title available?) | 1979-01-01 | Paper |
Forcing infinito generalizzato in teoria dei modelli
Rendiconti del Seminario Matematico della Università di Padova | 1978-01-01 | Paper |
Forcing infinito generalizzato in teoria dei modelli
Rendiconti del Seminario Matematico della Università di Padova | 1978-01-01 | Paper |
| scientific article; zbMATH DE number 3703298 (Why is no real title available?) | 1978-01-01 | Paper |
Some model theory for monotone quantifiers
Archiv für Mathematische Logik und Grundlagenforschung | 1977-01-01 | Paper |
| scientific article; zbMATH DE number 3564965 (Why is no real title available?) | 1976-01-01 | Paper |
| scientific article; zbMATH DE number 3496138 (Why is no real title available?) | 1974-01-01 | Paper |
| scientific article; zbMATH DE number 3445449 (Why is no real title available?) | 1974-01-01 | Paper |
Proprieta metamatematiche di alcune classi di algebre
Rendiconti del Seminario Matematico della Università di Padova | 1972-01-01 | Paper |
Proprieta metamatematiche di alcune classi di algebre
Rendiconti del Seminario Matematico della Università di Padova | 1972-01-01 | Paper |
| scientific article; zbMATH DE number 3506768 (Why is no real title available?) | 1971-01-01 | Paper |
