Instituto de Tecnología del Conocimiento (ITC)
Centre/Institut
Stanford University
Stanford, Estados UnidosPublicacions en col·laboració amb investigadors/es 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)