作　　者：Nils Klarlund ;Dexter Kozen

出　　处：Chicago Journal of Theoretical Computer Science. 1995 ;1995.

出 版 社：MIT Press ; University of Chicago, Department of Computer Science

文 章 ID：85479233

作　　者：Jin-Yi Cai ;W. H. J. Fuchs ;Dexter Kozen 等

出　　处：Electronic Colloquium on Computational Complexity. 1994 ;1994.

出 版 社：Universität Trier, Lehrstuhl für Theoretische Computer-Forschung

文 章 ID：88774736

作　　者：Dexter Kozen ;Nicholas Ruozzi

出　　处：Logical Methods in Computer Science. 2009 ;5(03).doi:10.2168/LMCS-5(3:10)2009

出 版 社：Technical University of Braunschweig

文 章 ID：47333298

作　　者：Dexter Kozen ;Konstantinos Mamouras

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2013 ;23:415-431.doi:10.4230/LIPIcs.CSL.2013.415

出 版 社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik

文 章 ID：186846352

作　　者：Anuj Dawar ;Dexter Kozen ;Simona Ronchi Della Rocca

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2015 ;41:xv-xviii.doi:10.4230/LIPIcs.CSL.2015.xv

出 版 社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik

文 章 ID：186847033

作　　者：Alexander Aiken ;Dexter Kozen ;Ed Wimmers

出　　处：BRICS Report Series. 1994 ;1(32).

出 版 社：Aarhus University

文 章 ID：186804697

作　　者：Dexter Kozen ;Thomas Schwentick

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2018 ;119:1-5.doi:10.4230/LIPIcs.CSL.2018.1

出 版 社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik

文 章 ID：230213276