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