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. |