Complexity, convexity and combinations of theories (Q1141138)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Complexity, convexity and combinations of theories |
scientific article; zbMATH DE number 3681732
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Complexity, convexity and combinations of theories |
scientific article; zbMATH DE number 3681732 |
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
