abstract rewriting system (Q2136420)
Jump to navigation
Jump to search
Formal system for transcribing expressions into equivalent terms
- ARS
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | abstract rewriting system |
Formal system for transcribing expressions into equivalent terms |
|
Statements
Identifiers
Sitelinks
Wikipedia(5 entries)
- cawiki Sistema abstracte de reescriptura
- dewiki Reduktionssystem
- enwiki Abstract rewriting system
- kowiki 추상 재작성 시스템
- ruwiki Переписывающая система