Pages that link to "Item:Q4281682"
From MaRDI portal
The following pages link to Decision problems for Tarski and Presburger arithmetics extended with sets (Q4281682):
Displaying 7 items.
- Combining sets with cardinals (Q812443) (← links)
- A New Decision Procedure for Finite Sets and Cardinality Constraints in SMT (Q2817912) (← links)
- (Q3819041) (← links)
- On decidable extensions of Presburger arithmetic: from A. Bertrand numeration sytems to Pisot numbers (Q4527928) (← links)
- Techniques of computable set theory with applications to proof verification (Q4884662) (← links)
- Some new decidability results on positive and negative set constraints (Q5096317) (← links)
- Decidability results for sets with atoms (Q5277749) (← links)