Browse Research and Tech Reports - Computer Science by Subject "Variants"

  • Santiago Escobar; Ralf Sasse; Jose Meseguer (Elsevier, 2012)
    Automated reasoning modulo an equational theory $\caE$ is a fundamental technique in many applications. If $\caE$ can be split as a disjoint union $E\!\cup \!Ax$ in such a way that $E$ is confluent, terminating, ...

    application/pdf

    application/pdfPDF (443Kb)