Gabriele Marongiu (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

3 Gabriele Marongiu, Sauro Tulipani: Undecidable Fragments of Term Algebras with Subterm Relation. Fundam. Inform. 19(3/4): 371-382 (1993)

2 Gabriele Marongiu, Sauro Tulipani: On a Conjecture of Bergstra and Tucker. Theor. Comput. Sci. 67(1): 87-97 (1989)

1 Gabriele Marongiu, Sauro Tulipani: Finite Algebraic Specifications of Semicomputable Data Types. TAPSOFT, Vol.1 1987: 111-122

Selection of 3 from 3 records - Gabriele Marongiu has 1 coauthors

Last update 2012-02-18 CET by the DBLP Team —

Content released under the ODC-BY 1.0 license — See also our legal information page

3		Gabriele Marongiu, Sauro Tulipani: Undecidable Fragments of Term Algebras with Subterm Relation. Fundam. Inform. 19(3/4): 371-382 (1993)
2		Gabriele Marongiu, Sauro Tulipani: On a Conjecture of Bergstra and Tucker. Theor. Comput. Sci. 67(1): 87-97 (1989)
1		Gabriele Marongiu, Sauro Tulipani: Finite Algebraic Specifications of Semicomputable Data Types. TAPSOFT, Vol.1 1987: 111-122