Nonlinear pattern matching in trees (Q4302812)
From MaRDI portal
scientific article; zbMATH DE number 622295
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Nonlinear pattern matching in trees |
scientific article; zbMATH DE number 622295 |
Statements
Nonlinear pattern matching in trees (English)
0 references
21 August 1994
0 references
nonlinear pattern matching
0 references
rewriting
0 references
normalization
0 references
theorem proving
0 references
