No label defined (Q3341883)
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: scientific article; zbMATH DE number 3876576 |
scientific article; zbMATH DE number 3876576
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | No label defined |
scientific article; zbMATH DE number 3876576 |
Statements
1983
0 references
Complete Minimal Set of Contextual Normal Forms
0 references
Church-Rosser theorem
0 references
confluent rewriting system
0 references
algorithm
0 references
0.8580571
0 references
0.8466265
0 references
0.8440922
0 references
0.8403832
0 references
0.83847684
0 references
0.8370265
0 references
0.83687127
0 references
