Decision Procedures for the Modal Propositional Calculus. Preprint

N. Jørgensen

    Research output: Book/ReportBookResearchpeer-review

    Original languageEnglish
    Place of PublicationRoskilde
    PublisherRisø National Laboratory. Department of Information Technology
    Number of pages37
    Publication statusPublished - 1988

    Cite this