Proving equational and inductive theorems by completion and embedding techniques (Q5055774)
From MaRDI portal
scientific article; zbMATH DE number 7631181
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Proving equational and inductive theorems by completion and embedding techniques |
scientific article; zbMATH DE number 7631181 |
Statements
Proving equational and inductive theorems by completion and embedding techniques (English)
0 references
9 December 2022
0 references
