Reachability in Conditional Term Rewriting Systems (Q4916227)

From MaRDI portal
scientific article; zbMATH DE number 6156035
Language Label Description Also known as
English
Reachability in Conditional Term Rewriting Systems
scientific article; zbMATH DE number 6156035

    Statements

    Identifiers