2015
The dual equivalence of equations and coequations for automata
Publication
Publication
Information and Computation
,
Volume 244
p. 49-
75
| Additional Metadata | |
|---|---|
| THEME | Software (theme 1) |
| Publisher | Academic Press |
| Persistent URL | dx.doi.org/10.1016/j.ic.2015.08.001 |
| Journal | Information and Computation |
| Grant | This work was funded by the The Netherlands Organisation for Scientific Research (NWO); grant id nwo/612.001.210 - Enhancing efficiency and expressiveness of the coinduction proof method |
| Citation |
Ballester-Bolinches, A, Cosme-Llopez, E, & Rutten, J.J.M.M. (2015). The dual equivalence of equations and coequations for automata. Information and Computation, 244, 49–75. doi:10.1016/j.ic.2015.08.001
|
