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

    @article{e8173ee06de34d868d0ef3ec77085940,
    title = "Review of {"}F. M{\"u}ller, Confluence of the lambda calculus with left-linear algebraic rewriting, Inform. Process. Lett. 41 (1991) 293-299{"}",
    keywords = "HMI-SLT: Speech and Language Technology",
    author = "P.R.J. Asveld",
    year = "1993",
    language = "English",
    volume = "MR1163040",
    pages = "3330--3330",
    journal = "Mathematical reviews",
    issn = "0025-5629",
    publisher = "American Mathematical Society",

    }

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

    In: Mathematical reviews, Vol. MR1163040, 1993, p. 3330-3330.

    Research output: Contribution to journalBook/Film/Article reviewAcademic

    TY - JOUR

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

    AU - Asveld, P.R.J.

    PY - 1993

    Y1 - 1993

    KW - HMI-SLT: Speech and Language Technology

    M3 - Book/Film/Article review

    VL - MR1163040

    SP - 3330

    EP - 3330

    JO - Mathematical reviews

    JF - Mathematical reviews

    SN - 0025-5629

    ER -