Program Semantics and Classical Logic

R.A. Muskens

    Research output: Book/ReportReportProfessional

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

    Publication series

    NameCLAUS Report
    No.86
    • Integration of semantic theories

      Muskens, R.

      1/01/951/01/04

      Project: Research project

    Cite this