First-order theory of rewriting for linear variable-separated rewrite systems: automation, formalization, certification (Q6103588)
From MaRDI portal
scientific article; zbMATH DE number 7702720
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | First-order theory of rewriting for linear variable-separated rewrite systems: automation, formalization, certification |
scientific article; zbMATH DE number 7702720 |
Statements
First-order theory of rewriting for linear variable-separated rewrite systems: automation, formalization, certification (English)
0 references
27 June 2023
0 references
term rewriting
0 references
first-order theory
0 references
tree automata
0 references
formalization
0 references
0 references
0 references
0 references
0 references
