Matrix and matricial iteration theories. II

DOI10.1016/0022-0000(93)90011-KzbMath0791.08007OpenAlexW1993360653MaRDI QIDQ2366692

Stephen L. Bloom, Zoltán Ésik

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

zbMATH Keywords

regular languagesstar operationclosed regular \(\omega\)-languagesmatricial iteration theoriesomega operationprogram correctness logic

Mathematics Subject Classification ID

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