• Media type: E-Article
  • Title: Logic and Program Semantics: Brzozowski’s Algorithm (Co)Algebraically
  • Contributor: Bonchi, Filippo; Bonsangue, Marcello M.; Rutten, Jan J. M. M.; Silva, Alexandra
  • Published: Springer Berlin Heidelberg, 2012
  • Published in: Logic and Program Semantics (2012), Seite 12-23
  • Language: Not determined
  • DOI: 10.1007/978-3-642-29485-3_2
  • ISBN: 9783642294846; 9783642294853
  • ISSN: 0302-9743; 1611-3349
  • Origination:
  • Footnote: