Algebra-coalgebra duality in Brzozowski's minimization algorithm

MM Bonsangue, HH Hansen, F Bonchi, P Panangaden, JJMM Rutten, A Silva

Research output: Contribution to journal › Article › Scientific

44 Citations (SciVal)

Original language	English
Pages (from-to)	1-29
Number of pages	29
Journal	ACM Transactions on Computational Logic
Volume	15
Issue number	1
DOIs	https://doi.org/10.1145/2490818
Publication status	Published - 2014

Access to Document

@article{ec5a784e484d4599b3e423e308a0d426,

title = "Algebra-coalgebra duality in Brzozowski's minimization algorithm",

author = "MM Bonsangue and HH Hansen and F Bonchi and P Panangaden and JJMM Rutten and A Silva",

year = "2014",

doi = "10.1145/2490818",

language = "English",

volume = "15",

pages = "1--29",

journal = "ACM Transactions on Computational Logic",

issn = "1529-3785",

publisher = "Association for Computing Machinery (ACM)",

number = "1",

}

TY - JOUR

T1 - Algebra-coalgebra duality in Brzozowski's minimization algorithm

AU - Bonsangue, MM

AU - Hansen, HH

AU - Bonchi, F

AU - Panangaden, P

AU - Rutten, JJMM

AU - Silva, A

PY - 2014

Y1 - 2014

U2 - 10.1145/2490818

DO - 10.1145/2490818

M3 - Article

SN - 1529-3785

VL - 15

SP - 1

EP - 29

JO - ACM Transactions on Computational Logic

JF - ACM Transactions on Computational Logic

IS - 1

ER -