Review of "F. Müller, Confluence of the lambda calculus with left-linear algebraic rewriting, Inform. Process. Lett. 41 (1991) 293-299"

P.R.J. Asveld

    Research output: Contribution to journalBook/Film/Article reviewAcademic

    10 Downloads (Pure)
    Original languageEnglish
    Pages (from-to)3330-3330
    Number of pages1
    JournalMathematical reviews
    VolumeMR1163040
    Publication statusPublished - 1993

    Keywords

    • HMI-SLT: Speech and Language Technology

    Cite this