- Publicações
- Pesquisar
- Estatísticas
Parallel Evaluation of Interaction Nets with Mpine
AuthID
P-007-HY3
P-007-HY3
1
Author(s)
1
Editor(es)
Aart Middeldorp
Tipo de Documento
Proceedings Paper
Year published
2001
Publicado
in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) in Lecture Notes in Computer Science, ISSN: 0302-9743
Volume: 2051 LNCS, Páginas: 353-356
Conference
12Th International Conference on Rewriting Techniques and Applications, Rta 2001, Date: 22 May 2001 through 24 May 2001, Location: Utrecht, Patrocinadores: Centrum voor Wiskunde en Informatica (CWI);Instituut voor Programmatuurkunde en Algoritmiek (IPA);International Federation for Information Processing (IFIP);University of Amsterdam, Informatics Institute
Publication Identifiers
Source Identifiers
ISSN: 0302-9743
Export Publication Metadata
Publication Export Settings
Lista Marked
Info
At this moment we don't have any links to full text documens.