The following pages link to (Q5317419):
Displaying 26 items.
- Tomorrow and All our Yesterdays: MTL Satisfiability over the Integers (Q5505598) (← links)
- Benchmarking Model- and Satisfiability-Checking on Bi-infinite Time (Q5505609) (← links)
- Level Two of the Quantifier Alternation Hierarchy over Infinite Words (Q5740188) (← links)
- The Word Problem for Omega-Terms over the Trotter-Weil Hierarchy (Q5740189) (← links)
- (Q5875345) (← links)
- Good-for-Game QPTL: An Alternating Hodges Semantics (Q5875946) (← links)
- Decidable Expansions of Labelled Linear Orderings (Q5892516) (← links)
- Power of Randomization in Automata on Infinite Strings (Q5895118) (← links)
- Recognizability of morphisms (Q6068415) (← links)
- An impossibility result in automata-theoretic reinforcement learning (Q6103159) (← links)
- The Overlap Gap Between Left-Infinite and Right-Infinite Words (Q6114855) (← links)
- The Triple-Pair Construction for Weighted ω-Pushdown Automata (Q6114867) (← links)
- Sequentializing cellular automata (Q6151188) (← links)
- Alternating good-for-MDPs automata (Q6160921) (← links)
- Two Effective Properties of ω-Rational Functions (Q6169907) (← links)
- Forbidden Patterns for FO<sup>2</sup> Alternation Over Finite and Infinite Words (Q6169964) (← links)
- Computing the periods of preimages in surjective cellular automata (Q6191202) (← links)
- Constructing the maximum prefix-closed subset for a set of \(-\omega \)-words defined by a \(-\omega \)-regular expression (Q6198088) (← links)
- Regular planar monoidal languages (Q6561334) (← links)
- Amitsur's theorem, semicentral idempotents, and additively idempotent semirings (Q6595239) (← links)
- Monadic monadic second order logic (Q6612795) (← links)
- Wadge degrees of \(\mathbf{\Delta}^0_2\) omega-powers (Q6642287) (← links)
- Fractal dimensions of \(k\)-automatic sets (Q6642880) (← links)
- Boolean TQFTs with accumulating defects, sofic systems, and automata for infinite words (Q6655084) (← links)
- Complementation of - \( \omega \)-regular expressions. I (Q6660265) (← links)
- Jumping automata over infinite words (Q6661761) (← links)
