Expression reduction systems with patterns (Q2467565)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Expression reduction systems with patterns |
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
