1 results
Chapter VII - Decidability and Quantifier-Elimination
- from Part B - Finitary Languages with Additional Quantifiers
-
-
- Book:
- Model-Theoretic Logics
- Published online:
- 31 March 2017
- Print publication:
- 02 March 2017, pp 235-268
-
- Chapter
- Export citation