Program Semantics and Classical Logic

R.A. Muskens

    Research output: Book/Report › Report

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

    Publication series

    NameCLAUS Report
    No.86

    Access to Document

      • Integration of semantic theories

        Muskens, R. (Researcher)

        1/01/95 → 1/01/04

        Project: Research project

      Cite this