Instituto de Tecnología del Conocimiento (ITC)
Ikastegia/Institutua
Stanford University
Stanford, Estados UnidosStanford University-ko ikertzaileekin lankidetzan egindako argitalpenak (4)
2005
-
AWeSOMe 2005 PC co-chairs' message
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
1995
-
From abstract data types to logical frameworks
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
1991
-
From petri nets to linear logic
Mathematical Structures in Computer Science, Vol. 1, Núm. 1, pp. 69-101
1989
-
From Petri nets to linear logic
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)