Sauro Tulipani

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