The following pages link to (Q3819041):
Displaying 11 items.
- Some new results on decidability for elementary algebra and geometry (Q714712) (← links)
- Decidability, partial decidability and sharpness relation for L-subsets (Q1102954) (← links)
- The automation of syllogistic. I: Syllogistic normal forms (Q1111540) (← links)
- Decision procedures for theories of sets with measures (Q2405249) (← links)
- Constructibility and decidability versus domain independence and absoluteness (Q2482456) (← links)
- A New Decision Procedure for Finite Sets and Cardinality Constraints in SMT (Q2817912) (← links)
- (Q3174928) (← links)
- (Q3325714) (← links)
- (Q3981005) (← links)
- Some new decidability results on positive and negative set constraints (Q5096317) (← links)
- Decidability results for sets with atoms (Q5277749) (← links)