Kozen, Dexter C. (1951-....) Amélioration Assistance
058606610
Notice de type Personne

Forme retenue

Kozen, Dexter C. (1951-....)

Forme rejetée

Kozen, Dexter Campbell
[Nom de personne]
Kozen, Dexter
[Nom de personne]

Information

Langue d'expression : anglais

Source

Automata and computability / Dexter Kozen, 1997


Internet, http://authorities.loc.gov, 2013-11-06

Information trouvée :forme bibliogr. : Kozen, Dexter, 1951- ; né le 1951-12-20


Internet, http://catalogue.bnf.fr, 2013-11-06

Information trouvée :forme bibliogr. : Kozen, Dexter C.


Internet, http://thesaurus.cerl.org, 2013-11-06

Information trouvée :forme bibliogr. : Kozen, Dexter C.


Internet, http://www.cs.cornell.edu/~kozen/papers/dk.pdf [CV de l'auteur sur le site de Cornell University] , 2013-11-06

Information trouvée :nom complet : Dexter Campbell Kozen

Utilisation dans Rameau

La vedette peut être employée dans une vedette RAMEAU
La vedette ne peut s'employer qu'en tête de vedette

Notices bibliographiques liées :2 rôle(s)

070 Auteur ( 4 )
340 Editeur scientifique ( 3 )



Auteur :

Rôles ?



014187205 : The design and analysis of algorithms [Texte imprimé] / Dexter C. Kozen / New York : Springer-Verlag , cop. 1992

010746250 : Automata and computability [Texte imprimé] / Dexter C. Kozen / New York : Springer , cop. 1997

074736183 : Dynamic logic [Texte imprimé] / David Harel,... Dexter Kozen,... Jerzy Tiuryn,... / Cambridge (Mass.) : the MIT Press , cop. 2000

110149467 : Theory of computation [Texte imprimé] / Dexter C. Kozen / London : Springer , cop. 2006, cop. 2006



Editeur scientifique :

Rôles ?



024554200 : Logics of Programs Workshop, Yorktown Heights, New York, May 1981 / edited by Dexter Kozen / Berlin : Springer-Verlag , cop. 1982

024381888 : Tenth Annual IEEE symposium on logic in computer science [Texte imprimé] : proceedings, June 26-29, 1995, San Diego, California / edited by Dexter Kozen ; sponsored by IEEE computer society technical committee on mathematical foundations of computing ; in cooperation with Special interest group on automata and computability theory of the ACM ; Association for symbolic logic ; European association for theoretical computer science.. [et al.] / Los Alamitos, Calif. : IEEE Computer Society Press , cop. 1995

080611354 : Mathematics of program construction [Texte imprimé] : 7th international conference, MPC 2004, Stirling, Scotland, UK, July 12-14, 2004 ; proceedings / Dexter Kozen (ed.) / Berlin : Springer , cop. 2004


A propos Partenaires Conditions Générales d'Utilisation (CGU) Assistance