@inproceedings{Bonchi2012a,
 author = {Filippo Bonchi and Marcello M. Bonsangue and Jan J. M. M. Rutten and Alexandra Silva},
 booktitle = {Logic and Program Semantics - Essays Dedicated to Dexter Kozen on
the Occasion of His 60th Birthday},
 doi = {10.1007/978-3-642-29485-3\_2},
 title = {Brzozowski's Algorithm (Co)Algebraically},
 year = {2012}
}

{"_id":"LKmLmWz9tMMFx6iac","bibbaseid":"bonchi-bonsangue-rutten-silva-brzozowskisalgorithmcoalgebraically-2012","author_short":["Bonchi, F.","Bonsangue, M. M.","Rutten, J. J. M. M.","Silva, A."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Filippo"],"propositions":[],"lastnames":["Bonchi"],"suffixes":[]},{"firstnames":["Marcello","M."],"propositions":[],"lastnames":["Bonsangue"],"suffixes":[]},{"firstnames":["Jan","J.","M.","M."],"propositions":[],"lastnames":["Rutten"],"suffixes":[]},{"firstnames":["Alexandra"],"propositions":[],"lastnames":["Silva"],"suffixes":[]}],"booktitle":"Logic and Program Semantics - Essays Dedicated to Dexter Kozen on the Occasion of His 60th Birthday","doi":"10.1007/978-3-642-29485-3_2","title":"Brzozowski's Algorithm (Co)Algebraically","year":"2012","bibtex":"@inproceedings{Bonchi2012a,\n author = {Filippo Bonchi and Marcello M. Bonsangue and Jan J. M. M. Rutten and Alexandra Silva},\n booktitle = {Logic and Program Semantics - Essays Dedicated to Dexter Kozen on\nthe Occasion of His 60th Birthday},\n doi = {10.1007/978-3-642-29485-3\\_2},\n title = {Brzozowski's Algorithm (Co)Algebraically},\n year = {2012}\n}\n\n","author_short":["Bonchi, F.","Bonsangue, M. M.","Rutten, J. J. M. M.","Silva, A."],"key":"Bonchi2012a","id":"Bonchi2012a","bibbaseid":"bonchi-bonsangue-rutten-silva-brzozowskisalgorithmcoalgebraically-2012","role":"author","urls":{},"metadata":{"authorlinks":{}}},"bibtype":"inproceedings","biburl":"https://alexandrasilva.org/files/silva.bib","dataSources":["BQAtJ795ujcMgoxSg","g3oJeDsRp4CMAYtS6"],"keywords":[],"search_terms":["brzozowski","algorithm","algebraically","bonchi","bonsangue","rutten","silva"],"title":"Brzozowski's Algorithm (Co)Algebraically","year":2012}