Expression reduction systems with patterns (Q2467565)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Expression reduction systems with patterns |
scientific article |
Statements
Expression reduction systems with patterns (English)
0 references
22 January 2008
0 references
Pattern matching
0 references
Expression reduction systems
0 references
Higher-order rewriting
0 references
