Complexity, convexity and combinations of theories (Q1141138)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Complexity, convexity and combinations of theories |
scientific article |
Statements
Complexity, convexity and combinations of theories (English)
0 references
1980
0 references
decidable quantifier-free theories
0 references
complexity of decidable combinations of theories
0 references
satisfiability problem
0 references
integers
0 references
arrays
0 references
list structure
0 references
uninterpreted function symbols
0 references
disjunctive normal form
0 references
