cl-banner

Running Interaction Nets on Random Access Machines

Stephane Gimenez and Georg Moser

Proceedings of the 8th International Workshop on Higher-Order Rewriting (HOR 2016),  2016.

 

BibTeX 

@inproceedings{SGGM-HOR2016,
author = "Stephane Gimenez and Georg Moser",
title = "Running Interaction Nets on Random Access Machines",
booktitle = "Proceedings of the 8th International Workshop on Higher-Order Rewriting",
year = 2016
}
Nach oben scrollen