Additional Metadata
THEME Software (theme 1)
Publisher Springer
Editor R.L. Constable , A.M. Silva (Alexandra)
ISBN 978-3-642-29484-6
Persistent URL
Series Lecture Notes in Computer Science
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