Log-Based Reduction by Rewriting

A. Elyasov, I.S.W.B. Prasetya, J. Hage

    Research output: Book/ReportReportAcademic

    Original languageEnglish
    PublisherDepartment of Information and Computing Sciences, Utrecht University
    VolumeUU-CS-2012-013
    Publication statusPublished - 2012

    Bibliographical note

    UUCS2012013

    Cite this