![]() | ![]() |
Ask others: ACM DL/Guide -
- CSB - MetaPress - Google - Bing - Yahoo
| 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