Modular Church-Rosser Modulo (Q3527286)
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: Modular Church-Rosser Modulo |
scientific article; zbMATH DE number 5347552
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Modular Church-Rosser Modulo |
scientific article; zbMATH DE number 5347552 |
Statements
Modular Church-Rosser Modulo (English)
0 references
25 September 2008
0 references
0.8692782521247864
0 references
0.8525738716125488
0 references
0.8371527194976807
0 references
0.8358495831489563
0 references