2012
Defining context-free power series coalgebraically.
Publication
Publication
Presented at the
Coalgebraic Methods in Computer Science
| Additional Metadata | |
|---|---|
| Springer | |
| D. Pattinson , L Schroeder | |
| Coalgebraic Methods in Computer Science | |
| Organisation | Computer Security |
|
Bonsangue, M., Rutten, J., & Winter, J. (2012). Defining context-free power series coalgebraically. . In D. Pattinson & L. Schroeder (Eds.), Proceedings of Coalgebraic Methods in Computer Science 2012. Springer. |
|