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