Sauro Tulipani

Publication Activity (10 Years)

Years Active: 1977-2002
Publications (10 Years): 0

Publications

Marco Baioletti, Andrea Capotorti, Sauro Tulipani, Barbara Vantaggi
Simplification Rules for the Coherent Probability Assessment Problem. Ann. Math. Artif. Intell. 35 (1-4) (2002)
Petr Hájek, Sauro Tulipani
Complexity of Fuzzy Probability Logics. Fundam. Informaticae 45 (3) (2001)
Marco Baioletti, Andrea Capotorti, Sauro Tulipani, Barbara Vantaggi
Elimination of Boolean variables for probabilistic coherence. Soft Comput. 4 (2) (2000)
Patrizio Cintioli, Sauro Tulipani
-Completeness of a Fragment of the Theory of Trees With Subtree Relation. Notre Dame J. Formal Log. 35 (3) (1994)
Sauro Tulipani
Decidability of the Existential Theory of Infinite Terms with Subterm Relation Inf. Comput. 108 (1) (1994)
Gabriele Marongiu, Sauro Tulipani
Undecidable Fragments of Term Algebras with Subterm Relation. Fundam. Informaticae 19 (3/4) (1993)
Gabriele Marongiu, Sauro Tulipani
Quantifier elimination for infinite terms. Arch. Math. Log. 31 (1) (1991)
G. Gagliardi, Sauro Tulipani
On algebraic specifications of computable algebras with the discriminator technique. RAIRO Theor. Informatics Appl. 24 (1990)
Gabriele Marongiu, Sauro Tulipani
On a Conjecture of Bergstra and Tucker. Theor. Comput. Sci. 67 (1) (1989)
Gabriele Marongiu, Sauro Tulipani
Finite Algebraic Specifications of Semicomputable Data Types. TAPSOFT, Vol.1 (1987)
Gabriele Marongiu, Sauro Tulipani
Horn Sentences of Small Size in Identity Theory. Math. Log. Q. 32 (25-30) (1986)
Sauro Tulipani
An Algorithm to Determine, For any Prime p, A Polynomial-Sized Horn Sentence which Expresses "The Cardinality is not p". J. Symb. Log. 50 (4) (1985)
Sauro Tulipani
Model-Completions of Theories of Finitely Additive Measures with Values in An Ordered Field. Math. Log. Q. 27 (31-35) (1981)
Johann A. Makowsky, Sauro Tulipani
Some model theory for monotone quantifiers. Arch. Math. Log. 18 (1) (1977)