Termination of programs using term rewriting and SAT solving

J. Giesl, P. Schneider-Kamp, R. Thiemann, S. Swiderski, M.T. Nguyen, D. De Schreye, A. Serebrenik

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    Fingerprint

    Dive into the research topics of 'Termination of programs using term rewriting and SAT solving'. Together they form a unique fingerprint.

    Engineering & Materials Science