The complexity of logical theories
From MaRDI portal
Cites work
- scientific article; zbMATH DE number 3501006 (Why is no real title available?)
- scientific article; zbMATH DE number 3560737 (Why is no real title available?)
- A Decision Procedure for the First Order Theory of Real Addition with Order
- A \(2^{2^{2^{pn}}}\) upper bound on the complexity of Presburger arithmetic
- On time-space classes and their relation to the theory of real addition
Cited in
(58)- Real computations with fake numbers
- On the complexity of quantified linear systems
- A canonical form of vector machines
- On the complexity of theories of permutations
- Presburger arithmetic with unary predicates is Π11 complete
- Turing machines with linear alternation, theories of bounded concatenation and the decision problem of first order theories
- Quantifier elimination for counting extensions of Presburger arithmetic
- Well-abstracted transition systems: Application to FIFO automata.
- A bibliography of quantifier elimination for real closed fields
- scientific article; zbMATH DE number 7577569 (Why is no real title available?)
- On time-space classes and their relation to the theory of real addition
- Real addition and the polynomial hierarchy
- Probabilistic game automata
- The role of rudimentary relations in complexity theory
- Automata-theoretical regularity characterizations for the iterated shuffle on commutative regular languages
- Complexity of Presburger arithmetic with fixed quantifier dimension
- Equivalence between model-checking flat counter systems and Presburger arithmetic
- Complexity, convexity and combinations of theories
- A uniform method for proving lower bounds on the computational complexity of logical theories
- A mathematical framework for the semantics of symbolic languages representing periodic time
- Equivalence between model-checking flat counter systems and Presburger arithmetic
- Reasoning about reversal-bounded counter machines
- WORD EQUATIONS OVER GRAPH PRODUCTS
- Computational complexity of logical theories of one successor and another unary function
- LOGICAL ASPECTS OF CAYLEY-GRAPHS: THE MONOID CASE
- On Presburger arithmetic extended with non-unary counting quantifiers
- Proof synthesis and reflection for linear arithmetic
- The complexity of query evaluation in indefinite temporal constraint databases
- Erratum to: ``Analyzing restricted fragments of the theory of linear arithmetic
- scientific article; zbMATH DE number 7407776 (Why is no real title available?)
- Complexity of logical theories involving coprimality
- The complexity of one-agent refinement modal logic
- The complexity of almost linear diophantine problems
- Colors Make Theories Hard
- A logic for reasoning about probabilities
- Deciding Boolean algebra with Presburger arithmetic
- The complexity of Presburger arithmetic with bounded quantifier alternation depth
- Regularity Conditions for Iterated Shuffle on Commutative Regular Languages
- Linear problems in valued fields
- Solving quantified linear arithmetic by counterexample-guided instantiation
- More about Exact Slow $k$-Nim
- Classifying the computational complexity of problems
- Emptiness problems for integer circuits
- Alternating complexity of counting first-order logic for the subword order
- The complexity of verifying population protocols
- Weak quantifier elimination for the full linear theory of the integers
- Safe recursive set functions
- The complexity of linear problems in fields
- Analyzing restricted fragments of the theory of linear arithmetic
- Double-exponential inseparability of Robinson subsystem \(Q_{+}\)
- Model-Checking Counting Temporal Logics on Flat Structures
- Subclasses of Presburger arithmetic and the polynomial-time hierarchy
- A complete and terminating approach to linear integer solving
- Exact complexity bounds for ordinal addition
- The complexity of elementary algebra and geometry
- Dominoes and the complexity of subclasses of logical theories
- On the complexity of team logic and its two-variable fragment
- scientific article; zbMATH DE number 7533328 (Why is no real title available?)
This page was built for publication: The complexity of logical theories
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1159661)
