Conditional Term Rewriting Systems (Q5881171)

From MaRDI portal
scientific journal
Language Label Description Also known as
English
Conditional Term Rewriting Systems
scientific journal

    Statements