We stand with Ukraine  

Gabriele Marongiu

According to our database1, Gabriele Marongiu authored at least 5 papers between 1986 and 1993.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

1993
Undecidable Fragments of Term Algebras with Subterm Relation.
[BibTeX]
Gabriele Marongiu
,
Sauro Tulipani
Fundam. Informaticae, 1993

1991
Quantifier elimination for infinite terms.
[BibTeX]
[DOI]
Gabriele Marongiu
,
Sauro Tulipani
Arch. Math. Log., 1991

1989
On a Conjecture of Bergstra and Tucker.
[BibTeX]
[DOI]
Gabriele Marongiu
,
Sauro Tulipani
Theor. Comput. Sci., 1989

1987
Finite Algebraic Specifications of Semicomputable Data Types.
[BibTeX]
[DOI]
Gabriele Marongiu
,
Sauro Tulipani
Proceedings of the TAPSOFT'87: Proceedings of the International Joint Conference on Theory and Practice of Software Development, 1987

1986
Horn Sentences of Small Size in Identity Theory.
[BibTeX]
[DOI]
Gabriele Marongiu
,
Sauro Tulipani
Math. Log. Q., 1986


  Loading...