Gabriele Marongiu

Publication Activity (10 Years)

Years Active: 1986-1993
Publications (10 Years): 0

Publications

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)
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)