Proof Systems for Computation Time

H. Riis Nielson

TypeConference paper [With referee]
ConferenceProc. Third Conference on Foundations of Software Technology and Theoretical Computer Science
Year1983
BibTeX data [bibtex]
IMM Group(s)Computer Science & Engineering