bn:01724351n
Noun Concept
FR
No term available
EN
In mathematical logic and theoretical computer science, an abstract rewriting system is a formalism that captures the quintessential notion and properties of rewriting systems. Wikipedia
Relations
Sources