Proof Systems for Computation Time

Hanne Riis Nielson

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

    Original languageEnglish
    Title of host publicationProc. Third Conference on Foundations of Software Technology and Theoretical Computer Science
    Publication date1983
    Publication statusPublished - 1983
    EventProc. Third Conference on Foundations of Software Technology and Theoretical Computer Science -
    Duration: 1 Jan 1983 → …

    Conference

    ConferenceProc. Third Conference on Foundations of Software Technology and Theoretical Computer Science
    Period01/01/1983 → …

    Cite this