Proof Systems for Computation Time

    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

    Nielson, H. R. (1983). Proof Systems for Computation Time. In Proc. Third Conference on Foundations of Software Technology and Theoretical Computer Science