scientific article; zbMATH DE number 1775408
From MaRDI portal
Publication:4542541
Recommendations
- On FO 2 Quantifier Alternation over Words
- Quantifier alternation in two-variable first-order logic with successor is decidable
- Level two of the quantifier alternation hierarchy over infinite words
- Level Two of the Quantifier Alternation Hierarchy over Infinite Words
- One variable is not enough for defining relation algebras, but two are
- Mathematical Foundations of Computer Science 2005
- [[:Publication:1118407|The logarithmic alternation hierarchy collapses: \(A\Sigma _ 2^Template:\mathcal L=A\Pi_ 2^Template:\mathcal L\)]]
- Two-variable first order logic with counting quantifiers: complexity results
- scientific article; zbMATH DE number 4024792
- Quantifier elimination for the reals with a predicate for the powers of two
Cited in
(45)- Linear circuits, two-variable logic and weakly blocked monoids
- Fragments of first-order logic over infinite words
- One quantifier alternation in first-order logic with modular predicates
- Deciding \(\mathrm{FO}^2\) alternation for automata over finite and infinite words
- The complexity of intersecting finite automata having few final states
- scientific article; zbMATH DE number 7561705 (Why is no real title available?)
- Uniformisation of regular relations in first-order logic with two variables
- Characterization of Logics over Ranked Tree Languages
- All about unambiguous polynomial closure
- On the Weihrauch degree of the additive Ramsey theorem
- Separating regular languages with two quantifier alternations
- On the lattice of sub-pseudovarieties of DA.
- Two variable vs. linear temporal logic in model checking and games
- Regular languages of thin trees
- Covering and separation for logical fragments with modular predicates
- The word problem for omega-terms over the Trotter-Weil hierarchy
- Varieties
- Hilbert's tenth problem for term algebras with a substitution operator
- Defining long words succinctly in FO and MSO
- Complemented subsets and Boolean-valued, partial functions
- Forbidden Patterns for FO2 Alternation Over Finite and Infinite Words
- Separating Without Any Ambiguity.
- Unary and two-variable interval logics
- A Trichotomy for Regular Trail Queries
- The half-levels of the \(\mathrm {FO}_2\) alternation hierarchy
- The Word Problem for Omega-Terms over the Trotter-Weil Hierarchy
- First-order logic with two variables and unary temporal logic
- Alternation hierarchies of first order logic with regular predicates
- Locality and Centrality: The Variety ZG
- scientific article; zbMATH DE number 7350780 (Why is no real title available?)
- A generic characterization of generalized unary temporal logic and two-variable first-order logic
- Linear completeness thresholds for bounded model checking
- In orbit with MeSCaL: higher in concatenation and navigational hierarchies of regular languages
- A first taste of MeSCaL, a tool for solving membership problems for regular languages
- Asymptotic reasoning with two variables
- Non-solvable Groups Are Not in FO+MOD+MÂJ2[REG]
- The amazing mixed polynomial closure and its applications to two-variable first-order logic
- The regular languages of first-order logic with one alternation
- Conelikes and ranker comparisons
- How many times do you need to go back to the future in unary temporal logic?
- Partially ordered two-way Büchi automata
- The covering problem
- Two variable vs. linear temporal logic in model checking and games
- Closing star-free closure
- scientific article; zbMATH DE number 7269244 (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 Q4542541)
