Rational series and their languages
Rational series and their languages
A complete axiomatisation for observational congruence of finite-state behaviours
Information and Computation
Complete systems of B -rational identities
Theoretical Computer Science
Iteration theories: the equational logic of iterative processes
Iteration theories: the equational logic of iterative processes
A completeness theorem for Kleene algebras and the algebra of regular events
Papers presented at the IEEE symposium on Logic in computer science
Information and Computation
Two Complete Axiom Systems for the Algebra of Regular Events
Journal of the ACM (JACM)
Initial Algebra Semantics and Continuous Algebras
Journal of the ACM (JACM)
Algebraic Semantics
Automata, Languages, and Machines
Automata, Languages, and Machines
A Complete Axiomatisation for Trace Congruence of Finite State Behaviors
Proceedings of the 9th International Conference on Mathematical Foundations of Programming Semantics
A Kleene/Büchi-like theorem for clock languages
Journal of Automata, Languages and Combinatorics - Selected papers of the workshop on logic and algebra for concurrency
Theoretical Computer Science - Words, languages and combinatorics
Partial Conway and Iteration Semirings
Fundamenta Informaticae
A Kleene-Schützenberger theorem for weighted timed automata
FOSSACS'08/ETAPS'08 Proceedings of the Theory and practice of software, 11th international conference on Foundations of software science and computational structures
Conjugacy and equivalence of weighted automata and functional transducers
CSR'06 Proceedings of the First international computer science conference on Theory and Applications
On the equivalence of Z-automata
ICALP'05 Proceedings of the 32nd international conference on Automata, Languages and Programming
Hi-index | 0.00 |
A Conway semiring is a semiring Sequipped with a unary operation *:S茂戮驴S, called star, satisfying the sum star and product star equations. An iteration semiring is a Conway semiring satisfying Conway's group equations. In this extended abstract, we review the role of iteration semirings in the axiomatization of regular languages and rational power series, and in the axiomatization of the equational theory of continuous and complete semirings.