Parallel Evaluation of Interaction Nets with Mpine

AuthID
P-007-HY3
1
Author(s)
1
Editor(s)
Aart Middeldorp
Document Type
Proceedings Paper
Year published
2001
Published
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, Pages: 353-356
Conference
12Th International Conference on Rewriting Techniques and Applications, Rta 2001, Date: 22 May 2001 through 24 May 2001, Location: Utrecht, Sponsors: Centrum voor Wiskunde en Informatica (CWI);Instituut voor Programmatuurkunde en Algoritmiek (IPA);International Federation for Information Processing (IFIP);University of Amsterdam, Informatics Institute
Indexing
Publication Identifiers
DBLP: conf/rta/Pinto01
SCOPUS: 2-s2.0-34250698320
Source Identifiers
ISSN: 0302-9743
Export Publication Metadata
Marked List
Info
At this moment we don't have any links to full text documens.