A New approach for combining decision procedures for the word problem, and its connection to the Nelson-Oppen combination method (Q5234683)
From MaRDI portal
scientific article; zbMATH DE number 7111156
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | A New approach for combining decision procedures for the word problem, and its connection to the Nelson-Oppen combination method |
scientific article; zbMATH DE number 7111156 |
Statements
A New approach for combining decision procedures for the word problem, and its connection to the Nelson-Oppen combination method (English)
0 references
1 October 2019
0 references
word problem
0 references
decision procedure
0 references
equational theory
0 references
satisfiability problem
0 references
constant symbol
0 references
