Automated Deduction – CADE-19 (Q5900732)
From MaRDI portal
scientific article; zbMATH DE number 5695423
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Automated Deduction – CADE-19 |
scientific article; zbMATH DE number 5695423 |
Statements
Automated Deduction – CADE-19 (English)
0 references
20 April 2010
0 references
\(E\)-unification
0 references
complexity
0 references
rewrite reachability
0 references
Minsky machine
0 references
Post correspondence problem
0 references
set constraints
0 references
