Termination of rewriting and its certification

A. Koprowski

    Research output: ThesisPhd Thesis 1 (Research TU/e / Graduation TU/e)

    177 Downloads (Pure)

    Fingerprint

    Dive into the research topics of 'Termination of rewriting and its certification'. Together they form a unique fingerprint.

    Engineering & Materials Science