| 2002 |
|---|
| 10 | | Marco Baioletti,
Andrea Capotorti,
Sauro Tulipani,
Barbara Vantaggi:
Simplification Rules for the Coherent Probability Assessment Problem.
Ann. Math. Artif. Intell. 35(1-4): 11-28 (2002) |
| 2001 |
|---|
| 9 | | Petr Hájek,
Sauro Tulipani:
Complexity of Fuzzy Probability Logics.
Fundam. Inform. 45(3): 207-213 (2001) |
| 2000 |
|---|
| 8 | EE | Marco Baioletti,
Andrea Capotorti,
Sauro Tulipani,
Barbara Vantaggi:
Elimination of Boolean variables for probabilistic coherence.
Soft Comput. 4(2): 81-88 (2000) |
| 1994 |
|---|
| 7 | | Sauro Tulipani:
Decidability of the Existential Theory of Infinite Terms with Subterm Relation
Inf. Comput. 108(1): 1-33 (1994) |
| 6 | | Patrizio Cintioli,
Sauro Tulipani:
Sigma11-Completeness of a Fragment of the Theory of Trees With Subtree Relation.
Notre Dame Journal of Formal Logic 35(3): 426-432 (1994) |
| 1993 |
|---|
| 5 | | Gabriele Marongiu,
Sauro Tulipani:
Undecidable Fragments of Term Algebras with Subterm Relation.
Fundam. Inform. 19(3/4): 371-382 (1993) |
| 1990 |
|---|
| 4 | | G. Gagliardi,
Sauro Tulipani:
On algebraic specifications of computable algebras with the discriminator technique.
ITA 24: 429-440 (1990) |
| 1989 |
|---|
| 3 | | Gabriele Marongiu,
Sauro Tulipani:
On a Conjecture of Bergstra and Tucker.
Theor. Comput. Sci. 67(1): 87-97 (1989) |
| 1987 |
|---|
| 2 | | Gabriele Marongiu,
Sauro Tulipani:
Finite Algebraic Specifications of Semicomputable Data Types.
TAPSOFT, Vol.1 1987: 111-122 |
| 1985 |
|---|
| 1 | | 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): 1062-1064 (1985) |
