bn:01724351n
Noun Concept
ES
sistema abstracto reescritura
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
Wikipedia Translations