A (co)algebraic theory of succinct automata. / Heerdt, Gerco van; Moerman, Joshua; Sammartino, Matteo; Silva, Alexandra.
In: Journal of Logical and Algebraic Methods in Programming, Vol. 105, 06.2019, p. 112-125.Research output: Contribution to journal › Article › peer-review
Original language | English |
---|---|
Pages (from-to) | 112-125 |
Number of pages | 14 |
Journal | Journal of Logical and Algebraic Methods in Programming |
Volume | 105 |
Early online date | 21 Mar 2019 |
DOIs | |
Publication status | Published - Jun 2019 |
ID: 36026572