Matrix and matricial iteration theories. II
From MaRDI portal
Publication:2366692
DOI10.1016/0022-0000(93)90011-KzbMath0791.08007MaRDI QIDQ2366692
Publication date: 18 August 1993
Published in: Journal of Computer and System Sciences (Search for Journal in Brave)
regular languages; star operation; closed regular \(\omega\)-languages; matricial iteration theories; omega operation; program correctness logic
08A70: Applications of universal algebra in computer science
68Q65: Abstract data types; algebraic specification
16Y60: Semirings
18C10: Theories (e.g., algebraic theories), structure, and semantics
Related Items
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- 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