Program Semantics and Classical Logic

R.A. Muskens

    Research output: Book/ReportReport

    80 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. (Researcher)

      1/01/951/01/04

      Project: Research project

    Cite this