|
|
|
|
Church-Rosser property
|
(Definition)
|
|
"Church-Rosser property" is owned by CWoo.
|
|
(view preamble)
Cross-references: confluent, iff, terms, joinable, implies, symmetric closure, transitive, Reflexive, binary relation, reduction
There is 1 reference to this entry.
This is version 6 of Church-Rosser property, born on 2008-02-09, modified 2008-02-16.
Object id is 10252, canonical name is ChurchRosserProperty.
Accessed 309 times total.
Classification:
| AMS MSC: | 68Q42 (Computer science :: Theory of computing :: Grammars and rewriting systems) |
|
|
|
|
|
|
Pending Errata and Addenda
|
|
|
|
|
|
|
|
|
|
|