Program Semantics and Classical Logic

    Research output: Book/ReportReportProfessional

    44 Downloads (Pure)
    Original languageEnglish
    Place of PublicationSaarbrucken
    PublisherUniversitat des Saarlandes
    Number of pages27
    Publication statusPublished - 1997

    Publication series

    NameCLAUS Report
    No.86

    Cite this

    Muskens, R. A. (1997). Program Semantics and Classical Logic. (CLAUS Report; No. 86). Saarbrucken: Universitat des Saarlandes.
    Muskens, R.A. / Program Semantics and Classical Logic. Saarbrucken : Universitat des Saarlandes, 1997. 27 p. (CLAUS Report; 86).
    @book{89e9811f803b482c91bb26fa5374fbdc,
    title = "Program Semantics and Classical Logic",
    author = "R.A. Muskens",
    note = "Pagination: 27",
    year = "1997",
    language = "English",
    series = "CLAUS Report",
    publisher = "Universitat des Saarlandes",
    number = "86",

    }

    Muskens, RA 1997, Program Semantics and Classical Logic. CLAUS Report, no. 86, Universitat des Saarlandes, Saarbrucken.

    Program Semantics and Classical Logic. / Muskens, R.A.

    Saarbrucken : Universitat des Saarlandes, 1997. 27 p. (CLAUS Report; No. 86).

    Research output: Book/ReportReportProfessional

    TY - BOOK

    T1 - Program Semantics and Classical Logic

    AU - Muskens, R.A.

    N1 - Pagination: 27

    PY - 1997

    Y1 - 1997

    M3 - Report

    T3 - CLAUS Report

    BT - Program Semantics and Classical Logic

    PB - Universitat des Saarlandes

    CY - Saarbrucken

    ER -

    Muskens RA. Program Semantics and Classical Logic. Saarbrucken: Universitat des Saarlandes, 1997. 27 p. (CLAUS Report; 86).