Program Semantics and Classical Logic

R.A. Muskens

    Research output: Book/ReportReport

    Original languageEnglish
    Place of PublicationSaarbrucken
    PublisherUniversitat des Saarlandes
    Number of pages27
    Publication statusPublished - 1997

    Publication series

    NameCLAUS Report
    No.86

    Cite this