On the Expressiveness of equational type logic

V. Manca, A. Salibra, Giuseppe Scollo

    Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

    Original languageUndefined
    Title of host publicationThe Unified Computation Laboratory
    Place of PublicationOxford
    PublisherOxford University Press
    Pages85-100
    Number of pages0
    Publication statusPublished - 1992

    Keywords

    • METIS-118911

    Cite this

    Manca, V., Salibra, A., & Scollo, G. (1992). On the Expressiveness of equational type logic. In The Unified Computation Laboratory (pp. 85-100). Oxford: Oxford University Press.
    Manca, V. ; Salibra, A. ; Scollo, Giuseppe. / On the Expressiveness of equational type logic. The Unified Computation Laboratory. Oxford : Oxford University Press, 1992. pp. 85-100
    @inbook{30a38549b0d546dbb90bf39216f7f022,
    title = "On the Expressiveness of equational type logic",
    keywords = "METIS-118911",
    author = "V. Manca and A. Salibra and Giuseppe Scollo",
    year = "1992",
    language = "Undefined",
    pages = "85--100",
    booktitle = "The Unified Computation Laboratory",
    publisher = "Oxford University Press",
    address = "United Kingdom",

    }

    Manca, V, Salibra, A & Scollo, G 1992, On the Expressiveness of equational type logic. in The Unified Computation Laboratory. Oxford University Press, Oxford, pp. 85-100.

    On the Expressiveness of equational type logic. / Manca, V.; Salibra, A.; Scollo, Giuseppe.

    The Unified Computation Laboratory. Oxford : Oxford University Press, 1992. p. 85-100.

    Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

    TY - CHAP

    T1 - On the Expressiveness of equational type logic

    AU - Manca, V.

    AU - Salibra, A.

    AU - Scollo, Giuseppe

    PY - 1992

    Y1 - 1992

    KW - METIS-118911

    M3 - Chapter

    SP - 85

    EP - 100

    BT - The Unified Computation Laboratory

    PB - Oxford University Press

    CY - Oxford

    ER -

    Manca V, Salibra A, Scollo G. On the Expressiveness of equational type logic. In The Unified Computation Laboratory. Oxford: Oxford University Press. 1992. p. 85-100