Logis and program semantics - essays dedicated to Dexter Kozen on the occasion of his 60th birthday

Additional Metadata
THEME	Software (theme 1)
Publisher	Springer
Editor	R.L. Constable , A.M. Silva (Alexandra)
ISBN	978-3-642-29484-6
Persistent URL	dx.doi.org/10.1007/978-3-642-29485-3
Series	Lecture Notes in Computer Science
Citation APA Style AAA Style APA Style Cell Style Chicago Style Harvard Style IEEE Style MLA Style Nature Style Vancouver Style American-Institute-of-Physics Style Council-of-Science-Editors Style BibTex Format Endnote Format RIS Format CSL Format DOIs only Format	Constable, R.L, & Silva, A.M (Eds.). (2012). Logis and program semantics - essays dedicated to Dexter Kozen on the occasion of his 60th birthday. (R.L Constable & A.M Silva, Eds.)Lecture Notes in Computer Science. Springer. doi:10.1007/978-3-642-29485-3

Additional Files
Publisher Version

See Also
bookChapter Two three pages papers K.R. Apt (Krzysztof)
bookChapter Two three pages papers K.R. Apt (Krzysztof)

Publication