Dexter Kozen: An Appreciation

From MaRDI portal

DOI10.1007/978-3-642-29485-3_23MaRDI QIDQ2897964zbMATH OpenOpenAlexFDO

Authors Joseph Y. Halpern

Publication date 16 July 2012

Published in Logic and Program Semantics (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-29485-3_23


Mathematics Subject Classification ID

Lua error in Module:PublicationMSCList at line 28: attempt to call field 'getDbData' (a nil value).


Lua error in Module:PublicationShowAbstract at line 21: attempt to call field 'getDbData' (a nil value).






Cited in
(2)








This page was built for publication: Dexter Kozen: An Appreciation

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2897964)

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Dexter_Kozen:_An_Appreciation&oldid=84931082"
Powered by MediaWiki