Publications

Parallel Evaluation of Interaction Nets with Mpine

AuthID
P-007-HY3

Author(s)

Pinto, JS

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