Q1140902

From Wikidata
Jump to: navigation, search

confluence (Q1140902)[edit]

property of abstract rewriting systems [edit]

Also known as:
  • Church–Rosser property
  • Church–Rosser
[edit]

Statements

[edit]
0 references
[edit]
0 references
[add]
/m/09z7p4
[edit]
1 reference
[add]