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

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