Pages that link to "Item:Q5277734"
From MaRDI portal
The following pages link to Arithmetic, first-order logic, and counting quantifiers (Q5277734):
Displaying 17 items.
- Theories of initial segments of standard models of arithmetics and their complete extensions (Q549718) (← links)
- Extensions of MSO and the monadic counting hierarchy (Q617710) (← links)
- The exact complexity of projective image matching (Q736619) (← links)
- On the expressive power of monadic least fixed point logic (Q817849) (← links)
- An Ehrenfeucht-Fraïssé game approach to collapse results in database theory (Q870360) (← links)
- Ehrenfeucht-Fraïssé games in finite set theory (Q963464) (← links)
- Secret, verifiable auctions from elections (Q1749541) (← links)
- First-order expressibility of languages with neutral letters or: The Crane Beach conjecture (Q1776372) (← links)
- Bounded minimalisation and bounded counting in argument-bounded idc's (Q3060189) (← links)
- Extensional Uniformity for Boolean Circuits (Q3540171) (← links)
- (Q5018506) (← links)
- Model-Checking Counting Temporal Logics on Flat Structures (Q5111643) (← links)
- On Presburger arithmetic extended with non-unary counting quantifiers (Q6135772) (← links)
- INTERLEAVING LOGIC AND COUNTING (Q6199174) (← links)
- Reachability in fixed VASS: expressiveness and lower bounds (Q6629526) (← links)
- Reasoning on data words over numeric domains (Q6649469) (← links)
- Geometric decision procedures and the VC dimension of linear arithmetic theories (Q6649496) (← links)
