A Roadmap to Decidability (Q5258981)
From MaRDI portal
scientific article; zbMATH DE number 6449641
Language | Label | Description | Also known as |
---|---|---|---|
English | A Roadmap to Decidability |
scientific article; zbMATH DE number 6449641 |
Statements
A Roadmap to Decidability (English)
0 references
24 June 2015
0 references
quantifier elimination
0 references
decidability of theories
0 references