Logic and program semantics. Essays dedicated to Dexter Kozen on the occasion of his 60th birthday
From MaRDI portal
Publication:424407
DOI10.1007/978-3-642-29485-3zbMath1241.68012OpenAlexW2483416580MaRDI QIDQ424407
No author found.
Publication date: 1 June 2012
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-642-29485-3
Biographies, obituaries, personalia, bibliographies (01A70) Proceedings, conferences, collections, etc. pertaining to computer science (68-06) Festschriften (00B30) Logic in computer science (03B70) Theory of computing (68Qxx)
Related Items (1)
Uses Software
This page was built for publication: Logic and program semantics. Essays dedicated to Dexter Kozen on the occasion of his 60th birthday
