著者典拠情報

著者標目形：
Kozen, Dexter, 1951-
属性：
Personal
日付：
1951-
から見よ参照形：
Kozen, Dexter C
Kozen, D. C
注記：
Logics of Programs Workshop (1981 : Yorktown Heights, N.Y.) Logics of Programs Workshop, 1982 (a.e.) CIP t.p. (Dexter Kozen) data sht. (b. 12/20/51)
EDSRC:Automata and computability / Dexter C. Kozen(Springer, c1997)
著者典拠ID：
DA02211787


1.

図書
図書
1. Theory of computation
Dexter C. Kozen
出版情報: London : Springer, c2006
シリーズ名: Texts in computer science
所蔵情報: 図書館
2.

図書
図書
2. The design and analysis of algorithms (: us ; : gw)
Dexter C. Kozen
出版情報: New York : Springer-Verlag, c1992
シリーズ名: Texts and monographs in computer science
所蔵情報: 図書館, 研究室
3.

図書
図書
3. Logics of programs : workshop, Carnegie Mellon University, Pittsburgh, PA, June 6-8, 1983 (: gw ; : us)
edited by Edmund Clarke and Dexter Kozen
出版情報: Berlin ; Tokyo : Springer-Verlag, 1984
シリーズ名: Lecture notes in computer science ; 164
所蔵情報: 図書館
4.

図書
図書
4. Logics of programs : workshop, Yorktown Heights, New York, May 1981 (: gw ; : us)
edited by Dexter Kozen
出版情報: Berlin : Springer-Verlag, 1982
シリーズ名: Lecture notes in computer science ; 131
所蔵情報: 図書館