Review of "Y. Toyama, How to prove equivalence of term rewriting systems without induction, Theor. Comp. Sci. 90 (1991) 369-390"

P.R.J. Asveld

    Research output: Contribution to journalBook/Film/Article reviewAcademic

    11 Downloads (Pure)
    Original languageEnglish
    Pages (from-to)399-399
    Number of pages1
    JournalMathematical reviews
    VolumeMR1142324
    Publication statusPublished - 1993

    Keywords

    • HMI-SLT: Speech and Language Technology

    Cite this