A (co)algebraic theory of succinct automata.

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

A (co)algebraic theory of succinct automata.

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

Research Program Towards High-quality and Intelligent Systems (THIS)

Research output: Working paper / Preprint › Preprint

Original language	English
Volume	abs/1905.05519
Publication status	Published - 2019

Publication series

Series	CoRR
ISSN	2331-8422

Access to Document

1 Article

A (co)algebraic theory of succinct automata
Heerdt, G. V., Moerman, J., Sammartino, M. & Silva, A., Jun 2019, In: Journal of Logical and Algebraic Methods in Programming. 105, p. 112-125 14 p.
Research output: Contribution to journal › Article › Academic › peer-review

Open Access

Cite this

@techreport{4cc05ae8bbad44cf90de0bc161c5f389,

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

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

note = "DBLP License: DBLP's bibliographic metadata records provided through http://dblp.org/ are distributed under a Creative Commons CC0 1.0 Universal Public Domain Dedication. Although the bibliographic metadata records are provided consistent with CC0 1.0 Dedication, the content described by the metadata records is not. Content may be subject to copyright, rights of privacy, rights of publicity and other restrictions.",

year = "2019",

language = "English",

volume = "abs/1905.05519",

series = "CoRR",

publisher = "dblp computer science bibliography",

type = "WorkingPaper",

institution = "dblp computer science bibliography",

}

TY - UNPB

T1 - A (co)algebraic theory of succinct automata.

AU - van Heerdt, Gerco

AU - Moerman, Joshua

AU - Sammartino, Matteo

AU - Silva, Alexandra

N1 - DBLP License: DBLP's bibliographic metadata records provided through http://dblp.org/ are distributed under a Creative Commons CC0 1.0 Universal Public Domain Dedication. Although the bibliographic metadata records are provided consistent with CC0 1.0 Dedication, the content described by the metadata records is not. Content may be subject to copyright, rights of privacy, rights of publicity and other restrictions.

PY - 2019

Y1 - 2019

M3 - Preprint

VL - abs/1905.05519

T3 - CoRR

BT - A (co)algebraic theory of succinct automata.

ER -