scientific article; zbMATH DE number 2079028
From MaRDI portal
Publication:4474840
Recommendations
Cited in
(29)- Regular languages of nested words: fixed points, automata, and synchronization
- scientific article; zbMATH DE number 7317262 (Why is no real title available?)
- On winning Ehrenfeucht games and monadic NP
- A note on context-free languages
- Locally finite languages
- Generalizing input-driven languages: theoretical and practical benefits
- Closure properties of locally finite \(\omega\)-languages
- Aural pattern recognition experiments and the subregular hierarchy
- Weighted automata with storage
- Monadic Second-Order Logic and Transitive Closure Logics over Trees
- Formal languages defined by the underlying structure of their words
- Weighted operator precedence languages
- A descriptive characterisation of linear languages
- Enumerating grammar-based extractions
- Weighted Logics for Nested Words and Algebraic Formal Power Series
- scientific article; zbMATH DE number 7447741 (Why is no real title available?)
- The descriptive complexity approach to LOGCFL
- The dark side of interval temporal logic: marking the undecidability border
- First-order logic definability of free languages
- The Model Checking Problem for Prefix Classes of Second-Order Logic: A Survey
- Aperiodicity, Star-freeness, and First-order Logic Definability of Operator Precedence Languages
- scientific article; zbMATH DE number 7471692 (Why is no real title available?)
- Operator precedence temporal logic and model checking
- Logic for \(\omega\)-pushdown automata
- Weighted operator precedence languages
- Logical description of context-free graph languages
- A Büchi-Elgot-Trakhtenbrot theorem for automata with MSO graph storage
- Bounded fixed-point definability and tabular recognition of languages
- scientific article; zbMATH DE number 7577575 (Why is no real title available?)
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4474840)
