Dexter Kozen

Informatiker

Geboren: 1951

Hat mitgewirkt an:

Automata and computability
Separability in Domain Semirings
The design and analysis of algorithms
Logic and program semantics : essays dedicated to Dexter Kozen on the occasion of his 60th birthday

Alle Objekte (4)

Externe Links:

Gemeinsame Normdatei (GND) im Katalog der Deutschen Nationalbibliothek
Open Researcher and Contributor ID (ORCID)
Bibliothèque nationale de France
Wikipedia (Deutsch)
Wikipedia (English)
NACO Authority File
Virtual International Authority File (VIAF)
Wikidata
International Standard Name Identifier (ISNI)

Informationen zur Registrierung von Kultur- und Wissenseinrichtungen finden Sie hier.

Felder mit * müssen ausgefüllt werden.

Benutzername*

Bitte geben Sie Ihren Benutzernamen ein

E-Mail*

Bitte geben Sie Ihre E-Mail ein

Bitte füllen Sie dieses Feld nicht aus

Vorname

Nachname

Passwort*

Bitte geben Sie Ihr Passwort ein

Passwort bestätigen*

Bitte geben Sie das gleiche Passwort ein

Ich habe die Nutzungsbedingungen und die Datenschutzerklärung zur Erhebung persönlicher Daten gelesen und stimme ihnen zu. *

Dieses Feld ist ein Pflichtfeld.

Ich möchte den Newsletter der Deutschen Digitalen Bibliothek abonnieren. Siehe Informationen zum Newsletter-Abonnement.

Benutzerkonto angelegt

Ihr „Meine DDB“-Konto wurde erfolgreich angelegt. Bevor Sie sich in Ihrem Konto anmelden können, müssen Sie auf den Bestätigungslink in der Nachricht klicken, die wir gerade an die von Ihnen angegebene E-Mail-Adresse geschickt haben

Dexter Kozen

Hat mitgewirkt an:

Externe Links:

Passwort zurücksetzen