Instituto de Tecnología del Conocimiento (ITC)
Centro/Instituto
Stanford University
Stanford, Estados UnidosPublicaciones en colaboración con investigadores/as de Stanford University (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)