Back to Search Start Over

Krivine nets.

Authors :
Fredriksson, Olle
Ghica, Dan R.
Source :
Proceedings of the 19th ACM SIGPLAN International Conference Functional Programming; 8/19/2014, p349-361, 13p
Publication Year :
2014

Details

Language :
English
ISBNs :
9781450328739
Database :
Complementary Index
Journal :
Proceedings of the 19th ACM SIGPLAN International Conference Functional Programming
Publication Type :
Conference
Accession number :
101395458
Full Text :
https://doi.org/10.1145/2628136.2628152
Full Text Access
View/download PDF

Tools

Authors Abstract Subjects Details