confluence (Q1140902)
Jump to navigation
Jump to search
property of abstract rewriting systems
- Church–Rosser property
- Church–Rosser
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | confluence |
property of abstract rewriting systems |
|
Statements
Identifiers
Sitelinks
Wikipedia(7 entries)
- dewiki Konfluenz (Informatik)
- enwiki Confluence (abstract rewriting)
- frwiki Confluence (informatique)
- jawiki 合流性
- kowiki 합류성
- plwiki Relacja silnie konfluentna
- ptwiki Confluência (sistemas de reescrita de termos)