The following pages link to (Q5525343):
Displaying 50 items.
- Tree-automatic scattered linear orders (Q264574) (← links)
- Regular languages of thin trees (Q290908) (← links)
- Automata transformations of prefix decidable and decidable by Buchi superwords (Q309440) (← links)
- Logic programming approach to automata-based decision procedures (Q347398) (← links)
- A transformation-based approach to implication of GSTE assertion graphs (Q364478) (← links)
- Rigorous approximated determinization of weighted automata (Q385026) (← links)
- Branching-time logics with path relativisation (Q386037) (← links)
- Topological extension of parity automata (Q388217) (← links)
- Temporal logics over linear time domains are in PSPACE (Q418122) (← links)
- On the almighty wand (Q418137) (← links)
- Groups, graphs, languages, automata, games and second-order monadic logic (Q444388) (← links)
- Linear temporal logic symbolic model checking (Q465680) (← links)
- Component-wise incremental LTL model checking (Q510894) (← links)
- Automata on infinite objects and their applications to logic and programming (Q582913) (← links)
- Choice functions and well-orderings over the infinite binary tree (Q607442) (← links)
- Büchi context-free languages (Q627181) (← links)
- Model-theoretic complexity of automatic structures (Q636281) (← links)
- Exact complexity bounds for ordinal addition (Q671516) (← links)
- Interval logics and their decision procedures. I: An interval logic (Q671639) (← links)
- Monadic partition logics and finite automata (Q671644) (← links)
- Interval logics and their decision procedures. II: A real-time interval logic (Q672040) (← links)
- Recognizable languages in concurrency monoids (Q672317) (← links)
- Logical definability on infinite traces (Q672860) (← links)
- Simulating alternating tree automata by nondeterministic automata: New results and new proofs of the theorems of Rabin, McNaughton and Safra (Q673778) (← links)
- Synchronized rational relations of finite and infinite words (Q685453) (← links)
- The Church problem for expansions of \((\mathbb{N},<)\) by unary predicates (Q690498) (← links)
- \(\omega\)-regular languages are testable with a constant number of queries (Q706616) (← links)
- A theory of ultimately periodic languages and automata with an application to time granularity (Q731330) (← links)
- Weighted automata and multi-valued logics over arbitrary bounded lattices (Q764336) (← links)
- Alternating finite automata on \(\omega\)-words (Q796990) (← links)
- Timed hyperproperties (Q821560) (← links)
- Weighted automata and weighted logics with discounting (Q840767) (← links)
- Factorization forests for infinite words and applications to countable scattered linear orderings (Q846364) (← links)
- On decidability properties of local sentences (Q860837) (← links)
- On dynamic topological and metric logics (Q865049) (← links)
- An automata-theoretic approach to constraint LTL (Q870361) (← links)
- Profile trees for Büchi word automata, with application to determinization (Q897653) (← links)
- The three subfamilies of rational \(\omega\)-languages closed under \(\omega\)-transduction (Q917321) (← links)
- Absolute versus probabilistic classification in a logical setting (Q924172) (← links)
- Inferring answers to queries (Q927868) (← links)
- A Rice-style theorem for parallel automata (Q1004287) (← links)
- A generalization of Cobham's theorem to automata over real numbers (Q1014642) (← links)
- Mathematical logic and quantum finite state automata (Q1017412) (← links)
- Complexity and succinctness issues for linear-time hybrid logics (Q1044839) (← links)
- A classification of \(\omega\)-regular languages (Q1058863) (← links)
- Equivalence of infinite behavior of finite automata (Q1060562) (← links)
- Langages infinitaires et produit de mixage (Q1061496) (← links)
- Maximal serializability of iterated transactions (Q1062471) (← links)
- A syntactic congruence for rational \(\omega\)-languages (Q1066675) (← links)
- Specification and verification of decentralized daisy chain arbiters with \(\omega\)-extended regular expressions (Q1079373) (← links)
