Algebra-Coalgebra Duality in Brzozowski's Minimization Algorithm - Archive ouverte HAL
Article Dans Une Revue ACM Transactions on Computational Logic Année : 2014

Algebra-Coalgebra Duality in Brzozowski's Minimization Algorithm

Filippo Bonchi
Laboratoire de l'Informatique du Parallélisme
CV
Marcello Bonsangue
  • Fonction : Auteur
  • PersonId : 895511
Laboratoire de l'Informatique du Parallélisme
Centrum voor Wiskunde en Informatica
Hansen Helle Hvid
  • Fonction : Auteur
Computing Science Department
Prakash Panangaden
  • Fonction : Auteur
Jan Rutten
  • Fonction : Auteur
  • PersonId : 895512
Centrum voor Wiskunde en Informatica
Alexandra Silva
  • Fonction : Auteur
  • PersonId : 895513
Centrum voor Wiskunde en Informatica

Domaines

Logique en informatique [cs.LO]

Filippo Bonchi  : Connectez-vous pour contacter le contributeur

https://hal.science/hal-00909426

Soumis le : mardi 26 novembre 2013-11:33:19

Dernière modification le : mardi 12 novembre 2024-15:20:06

Consulter le texte intégral

Dates et versions

hal-00909426 , version 1 (26-11-2013)

Identifiants

Citer

Filippo Bonchi, Marcello Bonsangue, Hansen Helle Hvid, Prakash Panangaden, Jan Rutten, et al.. Algebra-Coalgebra Duality in Brzozowski's Minimization Algorithm. ACM Transactions on Computational Logic, 2014, 15 (1), pp.3:1--3:29. ⟨10.1145/2490818⟩. ⟨hal-00909426⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

ENS-LYON CNRS INRIA UNIV-LYON1 LIP_PLUME UDL
97 Consultations
0 Téléchargements

Altmetric

Partager

More