Polymorphic Systems with Arrays‚ 2−Counter Machines and Multiset Rewriting
A. W. Roscoe‚ R. S. Lazic and Tom Newcomb
Details
| Book Title |
Proceedings of INFINITY 2004 |
| Year |
2004 |
Links
Related pages
|
People |
|
|
Activities |