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; zbMATH DE number 5229097
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Expression reduction systems with patterns |
scientific article; zbMATH DE number 5229097 |
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
0.8556355237960815
0 references
0.7800403833389282
0 references
0.757955014705658
0 references
