Program Semantics and Classical Logic

R.A. Muskens

    Research output: Book/Report › Report › Professional

    60 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.

        1/01/95 → 1/01/04

        Project: Research project

      Cite this