Gabriele Marongiu

	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

Coauthor Index

1

Sauro Tulipani

[1] [2] [3]