Rationality in algebras with a series operation
From MaRDI portal
Publication:1854484
DOI10.1006/inco.2001.3077zbMath1005.68100OpenAlexW1977595510MaRDI QIDQ1854484
Publication date: 14 January 2003
Published in: Information and Computation (Search for Journal in Brave)
Full work available at URL: https://semanticscholar.org/paper/a5e5e366517943e24e32f110566ed4cff18d30b9
Related Items (14)
Towards a language theory for infinite N-free pomsets. ⋮ Definable transductions and weighted logics for texts ⋮ Axiomatizing the identities of binoid languages ⋮ Sound concurrent traces for online monitoring ⋮ Series-parallel languages on scattered and countable posets ⋮ Branching automata with costs -- a way of reflecting parallelism in costs ⋮ Algebraic and graph-theoretic properties of infiniten-posets ⋮ Complementation of Branching Automata for Scattered and Countable N-Free Posets ⋮ Logic and Bounded-Width Rational Languages of Posets over Countable Scattered Linear Orderings ⋮ Logic and rational languages of scattered and countable series-parallel posets ⋮ A KLEENE THEOREM FOR BISEMIGROUP AND BINOID LANGUAGES ⋮ Complementation of Branching Automata for Scattered and Countable Series-Parallel Posets ⋮ Series-parallel languages and the bounded-width property ⋮ The recognizability of sets of graphs is a robust property
Cites Work
- Basic notions of universal algebra for language theory and graph grammars
- Free shuffle algebras in language varieties
- The monadic second-order logic of graphs. V: On closing the gap between definability and recognizability
- Series-parallel languages and the bounded-width property
- The Recognition of Series Parallel Digraphs
- Algebraic automata and context-free sets
- Generalized finite automata theory with an application to a decision problem of second-order logic
- Automata in general algebras
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
This page was built for publication: Rationality in algebras with a series operation