A (co)algebraic theory of succinct automata

Gerco van Heerdt, Joshua Moerman, Matteo Sammartino, Alexandra Silva

Research output: Contribution to journal › Article › peer-review

5 Downloads (Pure)

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	https://doi.org/10.1016/j.jlamp.2019.02.008
Publication status	Published - Jun 2019

Access to Document

@article{4e9c49a0277149b6830a3d5c73699a07,

title = "A (co)algebraic theory of succinct automata",

author = "Heerdt, {Gerco van} and Joshua Moerman and Matteo Sammartino and Alexandra Silva",

year = "2019",

month = jun,

doi = "10.1016/j.jlamp.2019.02.008",

language = "English",

volume = "105",

pages = "112--125",

journal = "Journal of Logical and Algebraic Methods in Programming",

}

TY - JOUR

T1 - A (co)algebraic theory of succinct automata

AU - Heerdt, Gerco van

AU - Moerman, Joshua

AU - Sammartino, Matteo

AU - Silva, Alexandra

PY - 2019/6

Y1 - 2019/6

U2 - 10.1016/j.jlamp.2019.02.008

DO - 10.1016/j.jlamp.2019.02.008

M3 - Article

VL - 105

SP - 112

EP - 125

JO - Journal of Logical and Algebraic Methods in Programming

JF - Journal of Logical and Algebraic Methods in Programming

ER -