Review of "Y. Toyama, J.W. Klop & H.P. Barendregt, Termination for direct sums of left-linear complete term rewriting systems. J. Assoc. Comput. Mach. 42 (1995), no. 6, 1275–1304"

P.R.J. Asveld

    Research output: Contribution to journalBook/Film/Article reviewAcademic

    8 Downloads (Pure)
    Original languageEnglish
    Pages (from-to)5759-5759
    Number of pages1
    JournalMathematical reviews
    Publication statusPublished - 1997


    • HMI-SLT: Speech and Language Technology

    Cite this