Saila
Sistemas Informáticos y Computación
Biltzar ekarpenak (7) Ikertzaileren baten partaidetza izan duten argitalpenak
1998
-
DREAM: The distributed Eden abstract machine
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
-
Embedding multiset constraints into a lazy functional logic language
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
-
Free variable tableaux for a logic with term declarations
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
-
Improving control in functional logic program specialization
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
-
Managing the usage experience in a library of software components
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
-
Maude as a metalanguage
Electronic Notes in Theoretical Computer Science
-
Metalevel computation in maude
Electronic Notes in Theoretical Computer Science