Title | Journal | Journal Categories | Citations | Publication Date |
---|---|---|---|---|
Two Complete Axiom Systems for the Algebra of Regular Events | Journal of the ACM |
| 96 | 1966 |
KROB D., Expressions K-rationnelles, Thèse d'Université, Université Paris-VII, 1988 (Rapport L.I.T.P. 88-23). | ||||
CONWAY J. H., Regular Algebra and Finite Machines, Chapman & Hall, 1971.0231.94041 | ||||
BERSTEL J. et REUTENAUER C., Les séries rationnelles et leurs langages, Collection E.R.I., Masson, Paris, 1984.7459680573.68037 |
Title | Journal | Journal Categories | Citations | Publication Date |
---|---|---|---|---|
Equational properties of fixed-point operations in cartesian categories: An overview | Mathematical Structures in Computer Science |
| 2019 | |
Algorithms for Kleene algebra with converse | Journal of Logical and Algebraic Methods in Programming |
| 2016 | |
Completeness results for omega-regular algebras | Journal of Logical and Algebraic Methods in Programming |
| 1 | 2015 |
On the Fine-Structure of Regular Algebra | Journal of Automated Reasoning |
| 2 | 2014 |
Free inductive K -semialgebras | The Journal of Logic and Algebraic Programming | 3 | 2013 |