Matrix and matricial iteration theories. II
From MaRDI portal
Publication:2366692
DOI10.1016/0022-0000(93)90011-KzbMath0791.08007OpenAlexW1993360653MaRDI QIDQ2366692
Publication date: 18 August 1993
Published in: Journal of Computer and System Sciences (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/0022-0000(93)90011-k
regular languagesstar operationclosed regular \(\omega\)-languagesmatricial iteration theoriesomega operationprogram correctness logic
Applications of universal algebra in computer science (08A70) Abstract data types; algebraic specification (68Q65) Semirings (16Y60) Theories (e.g., algebraic theories), structure, and semantics (18C10)
Related Items (6)
A Finite Axiomatisation of Finite-State Automata Using String Diagrams ⋮ Some quasi-varieties of iteration theories ⋮ Greibach normal form for \(\omega\)-algebraic systems and weighted simple \(\omega\)-pushdown automata ⋮ The equational logic of fixed points ⋮ Program correctness and matricial iteration theories ⋮ A string diagrammatic axiomatisation of finite-state automata
Cites Work
- Matricial theories
- On the algebraic structure of rooted trees
- Matrix and matricial iteration theories. I
- Regular and Algebraic Words and Ordinals
- Equational axioms for regular sets
- Floyd-Hoare logic in iteration theories
- Two Complete Axiom Systems for the Algebra of Regular Events
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
This page was built for publication: Matrix and matricial iteration theories. II