scientific article; zbMATH DE number 2079028
From MaRDI portal
Publication:4474840
zbMATH Open1044.68631MaRDI QIDQ4474840FDOQ4474840
Authors: Clemens Lautemann, Thomas Schwentick, Denis Thérien 
Publication date: 21 July 2004
Title of this publication is not available (Why is that?)
Recommendations
Formal languages and automata (68Q45) Model theory of finite structures (03C13) Descriptive complexity and finite models (68Q19)
Cited In (29)
- Locally finite languages
- Weighted operator precedence languages
- Enumerating grammar-based extractions
- Title not available (Why is that?)
- Aperiodicity, Star-freeness, and First-order Logic Definability of Operator Precedence Languages
- Bounded fixed-point definability and tabular recognition of languages
- Monadic Second-Order Logic and Transitive Closure Logics over Trees
- Title not available (Why is that?)
- A descriptive characterisation of linear languages
- A note on context-free languages
- Aural pattern recognition experiments and the subregular hierarchy
- A Büchi-Elgot-Trakhtenbrot theorem for automata with MSO graph storage
- Title not available (Why is that?)
- Operator precedence temporal logic and model checking
- The descriptive complexity approach to LOGCFL
- The dark side of interval temporal logic: marking the undecidability border
- Closure properties of locally finite \(\omega\)-languages
- Weighted Logics for Nested Words and Algebraic Formal Power Series
- Logical description of context-free graph languages
- On winning Ehrenfeucht games and monadic NP
- Regular languages of nested words: fixed points, automata, and synchronization
- Weighted automata with storage
- Logic for \(\omega\)-pushdown automata
- Weighted operator precedence languages
- The Model Checking Problem for Prefix Classes of Second-Order Logic: A Survey
- Title not available (Why is that?)
- Generalizing input-driven languages: theoretical and practical benefits
- First-order logic definability of free languages
- Formal languages defined by the underlying structure of their words
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)
