Proceedings of the 9th annual conference on Theory and Applications of Models of Computation (TAMC 2012)
Book title Buchtitel
Proceedings of the 9th annual conference on Theory and Applications of Models of Computation (TAMC 2012)
Editor Herausgeber_in
Publisher Herausgeber
Springer
Place of publishing Erscheinungsort
LNCS 7287
Results 1-1 of 1 (Search time: 0.001 seconds).
| Preview | Authors / Editors | Title | Type | Issue Date | |
|---|---|---|---|---|---|
| 1 | Jiresch, Eugen ; Gramlich, Bernhard ; Agrawal, Manindra | Realizing Monads in Interaction Nets via Generic Typed Rules | Konferenzbeitrag Inproceedings | 2012 |