Polynomial time algorithms for sentences over number fields (Q1187032)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Polynomial time algorithms for sentences over number fields |
scientific article |
Statements
Polynomial time algorithms for sentences over number fields (English)
0 references
28 June 1992
0 references
sentence
0 references
quantifier free formula
0 references
polynomial time algorithm
0 references
