Pages that link to "Item:Q4635632"
From MaRDI portal
The following pages link to Subclasses of presburger arithmetic and the weak EXP hierarchy (Q4635632):
Displaying 15 items.
- A note on definability in fragments of arithmetic with free unary predicates (Q365661) (← links)
- Subclasses of Presburger arithmetic and the polynomial-time hierarchy (Q1115858) (← links)
- Complexity of Presburger arithmetic with fixed quantifier dimension (Q1361890) (← links)
- Monadic decomposition in integer linear arithmetic (Q2096441) (← links)
- Equivalence between model-checking flat counter systems and Presburger arithmetic (Q2636509) (← links)
- Context-free commutative grammars with integer counters and resets (Q2636518) (← links)
- (Q3787992) (← links)
- (Q5216302) (← links)
- Presburger Arithmetic, Rational Generating Functions, and Quasi-Polynomials (Q5327451) (← links)
- Expansions of Presburger arithmetic with the exchange property (Q6047721) (← links)
- Feferman-vaught decompositions for prefix classes of first order logic (Q6117143) (← links)
- State-based opacity of labeled real-time automata (Q6122597) (← links)
- On Presburger arithmetic extended with non-unary counting quantifiers (Q6135772) (← links)
- A decision procedure for string constraints with string/integer conversion and flat regular constraints (Q6150112) (← links)
- Reasoning about reversal-bounded counter machines (Q6599624) (← links)