A Church-Rosser Checker Tool for Conditional Order-Sorted Equational Maude Specifications (Q4933279)

From MaRDI portal
scientific article; zbMATH DE number 5798872
Language Label Description Also known as
English
A Church-Rosser Checker Tool for Conditional Order-Sorted Equational Maude Specifications
scientific article; zbMATH DE number 5798872

    Statements

    A Church-Rosser Checker Tool for Conditional Order-Sorted Equational Maude Specifications (English)
    0 references
    0 references
    0 references
    12 October 2010
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references