NARCISO
MARTÍ OLIET
Catedrático de universidad
University of Pisa
Pisa, ItaliaPublicaciones en colaboración con investigadores/as de University of Pisa (1)
2000
-
Bisimilarity congruences for open terms and term graphs via tile logic
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)