Sauro Tulipani - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 14 from 14

2002

Simplification Rules for the Coherent Probability Assessment ProblemMarco Baioletti, Andrea Capotorti, Sauro Tulipani, Barbara Vantaggi. AMAI, 35(1-4):11-28, 2002.

2001

Complexity of Fuzzy Probability LogicsPetr Hájek, Sauro Tulipani. FUIN, 45(3):207-213, 2001.

2000

Elimination of Boolean variables for probabilistic coherenceMarco Baioletti, Andrea Capotorti, Sauro Tulipani, Barbara Vantaggi. soco, 4(2):81-88, 2000. [doi]

1994

Sigma::1:::::1:::-Completeness of a Fragment of the Theory of Trees With Subtree RelationPatrizio Cintioli, Sauro Tulipani. ndjfl, 35(3):426-432, 1994.

Decidability of the Existential Theory of Infinite Terms with Subterm RelationSauro Tulipani. iandc, 108(1):1-33, January 1994.

1993

Undecidable Fragments of Term Algebras with Subterm RelationGabriele Marongiu, Sauro Tulipani. FUIN, 19(3/4):371-382, 1993.

1991

Quantifier elimination for infinite termsGabriele Marongiu, Sauro Tulipani. AML, 31(1):1-17, 1991. [doi]

1990

On algebraic specifications of computable algebras with the discriminator techniqueG. Gagliardi, Sauro Tulipani. ita, 24:429-440, 1990.

1989

On a Conjecture of Bergstra and TuckerGabriele Marongiu, Sauro Tulipani. TCS, 67(1):87-97, 1989.

1987

Finite Algebraic Specifications of Semicomputable Data TypesGabriele Marongiu, Sauro Tulipani. tapsoft 1987: 111-122

1986

Horn Sentences of Small Size in Identity TheoryGabriele Marongiu, Sauro Tulipani. mlq, 32(25-30):439-444, 1986. [doi]

1985

An Algorithm to Determine, For any Prime p, A Polynomial-Sized Horn Sentence which Expresses The Cardinality is not p Sauro Tulipani. JSYML, 50(4):1062-1064, 1985.

1981

Model-Completions of Theories of Finitely Additive Measures with Values in An Ordered FieldSauro Tulipani. mlq, 27(31-35):481-488, 1981. [doi]

1977

Some model theory for monotone quantifiersJohann A. Makowsky, Sauro Tulipani. AML, 18(1):115-134, 1977. [doi]

Sign in or sign up to see more results.

runs on WebDSL