Review of "S. Kahrs, Confluence of curried term-rewriting systems, J. Symbolic Comput. 19 (1995) 601-623"

P.R.J. Asveld

    Research output: Contribution to journalBook/Film/Article reviewAcademic

    5 Downloads (Pure)
    Original languageEnglish
    Pages (from-to)568-568
    Number of pages1
    JournalMathematical reviews
    VolumeMR1370625
    Publication statusPublished - 1997

    Keywords

    • HMI-SLT: Speech and Language Technology

    Cite this