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	doi.org/10.1007/978-3-642-29485-3
Series	Lecture Notes in Computer Science
Organisation	Computer Security
Citation APA APA Style APA-ALL Style AAA 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	Logis and program semantics - essays dedicated to Dexter Kozen on the occasion of his 60th birthday. (2012). Logis and program semantics - essays dedicated to Dexter Kozen on the occasion of his 60th birthday. In R. L. Constable & A. Silva (Eds.), Lecture Notes in Computer Science. Springer.https://doi.org/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