Proof Systems for Computation Time

Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

Original language	English
Title of host publication	Proc. Third Conference on Foundations of Software Technology and Theoretical Computer Science
Publication date	1983
Publication status	Published - 1983
Event	Proc. Third Conference on Foundations of Software Technology and Theoretical Computer Science - Duration: 1 Jan 1983 → …

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

OpenUrl availability

@inproceedings{7097f54e8cd840e2b3e2c5ec75f03c92,

title = "Proof Systems for Computation Time",

author = "Nielson, \{Hanne Riis\}",

year = "1983",

language = "English",

booktitle = "Proc. Third Conference on Foundations of Software Technology and Theoretical Computer Science",

note = "Proc. Third Conference on Foundations of Software Technology and Theoretical Computer Science ; Conference date: 01-01-1983",

}