Complexity, convexity and combinations of theories
type: Item
instance of: scholarly article
title: Complexity, convexity and combinations of theories
zbMATH Open document ID: 0437.03007
DOI: 10.1016/0304-3975(80)90059-6
author: Derek C. Oppen
published in: Theoretical Computer Science
publication date: 1980-01-01T00:00:00Z
Mathematics Subject Classification ID: 03B25
Mathematics Subject Classification ID: 03D15
Mathematics Subject Classification ID: 68Q65
Mathematics Subject Classification ID: 68R99
Mathematics Subject Classification ID: 68Q25
Mathematics Subject Classification ID: 68T15
zbMATH DE Number: 3681732
zbMATH Keywords: decidable quantifier-free theories
zbMATH Keywords: complexity of decidable combinations of theories
zbMATH Keywords: satisfiability problem
zbMATH Keywords: integers
zbMATH Keywords: arrays
zbMATH Keywords: list structure
zbMATH Keywords: uninterpreted function symbols
zbMATH Keywords: disjunctive normal form
MaRDI profile type: Publication
full work available at URL: 0304-3975(80)90059-6
OpenAlex ID: W2072380992
cites work: Solvable cases of the decision problem
cites work: The complexity of logical theories
cites work: Bounds on Positive Integral Solutions of Linear Diophantine Equations
cites work: Assignment Commands with Array References
cites work: Q4082296
cites work: Khachiyan’s algorithm for linear programming
cites work: Some Completeness Results in the Mathematical Theory of Computation
cites work: Fast Decision Procedures Based on Congruence Closure
cites work: Simplification by Cooperating Decision Procedures
cites work: A \(2^{2^{2^{pn}}}\) upper bound on the complexity of Presburger arithmetic
cites work: Reasoning About Recursively Defined Data Structures
cites work: Presburger arithmetic with bounded quantifier alternation
cites work: A Practical Decision Procedure for Arithmetic with Function Symbols
cites work: Verification Decidability of Presburger Array Programs
cites work: Variations on the Common Subexpression Problem
cites work: An algorithm for reasoning about equality
description: scientific article; zbMATH DE number 3681732