Q1140902

From Wikidata
Jump to: navigation, search

confluence(Q1140902)

property of abstract rewriting systems
  • Church–Rosser property
  • Church–Rosser
[edit]
Language Label Description Also known as
English
confluence
property of abstract rewriting systems
  • Church–Rosser property
  • Church–Rosser

Statements

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