VIAF

Virtual International Authority File

Search

Siefkes, Dirk. BIBSYS ISNI National Library of Israel Sudoc [ABES], France National Library of the Netherlands NUKAT Center of Warsaw University Library Library of Congress/NACO National Library of France

Siefkes, Dirk 1938- German National Library

Dirk Siefkes Wikidata

VIAF ID: 66531157 (Personal)

Permalink: https://viaf.org/viaf/66531157

Open Section Close Section Preferred Forms

 

 

 

 

Open Section Close Section 4xx's: Alternate Name Forms (4)

Open Section Close Section 5xx's: Related Names (5)

Open Section Close SectionWorks

Title Sources
Büchi's monadic second order successor arithmetic. BIBSYS German National Library NUKAT Center of Warsaw University Library Library of Congress/NACO National Library of the Netherlands Sudoc [ABES], France
collected works of J. Richard Büchi Sudoc [ABES], France German National Library NUKAT Center of Warsaw University Library Library of Congress/NACO National Library of France
Completeness proofs for logic programming refutations and derivations for ground clauses German National Library
Decidable theories II. - German National Library
Evolutionäre Modelle in der Informatik German National Library
Finite automata, their algebras and grammars towards a theory of formal expressions BIBSYS German National Library National Library of Israel Sudoc [ABES], France National Library of the Netherlands NUKAT Center of Warsaw University Library Library of Congress/NACO National Library of France
Fish in schools or fish in cans evolutionary thinking and formalization German National Library
Formalisieren und beweisen Logik für Informatiker Library of Congress/NACO German National Library
Gesellschaft für Informatik - 4. Jahrestagung NUKAT Center of Warsaw University Library
GI-4. Jahrestagung, Berlin, 9.-12. Oktober 1974 NUKAT Center of Warsaw University Library BIBSYS National Library of the Netherlands
Grundzüge der Logik NUKAT Center of Warsaw University Library National Library of the Netherlands German National Library
How to communicate proofs or programs German National Library
Hybridization in computer science German National Library
Informatics as cultural development case studies from the socialhistory of information technology ; interdisziplinäres Forschungsprojekt (IFP) Sozialgeschichte der Informatik German National Library
Kleine Systeme German National Library
Manual on REC a language for use and cost analysis of recursion over arbitraty data structures German National Library
Methods of logic NUKAT Center of Warsaw University Library
monadic second order theory of all countable ordinals BIBSYS German National Library NUKAT Center of Warsaw University Library Library of Congress/NACO National Library of the Netherlands Sudoc [ABES], France
People's bearings on computers and Turn towards imagination German National Library
Pioniere der Informatik ihre Lebensgeschichte im Interview Library of Congress/NACO German National Library Sudoc [ABES], France
Rolle von Schemata in der Informatik als kultureller Entwicklung German National Library
Sechsundzwanzigster Workshop über Komplexitätstheorie, Datenstrukturen und Effiziente Algorithmen German National Library
Sozialgeschichte der Informatik kulturelle Praktiken und Orientierungen National Library of Israel Library of Congress/NACO German National Library National Library of France
Unambiguous computation may be better than determinism at simulating nondeterminism (extended abstract) German National Library
Ungelogene unlogische Geschichten German National Library
Wende zur Phantasie zur Theoriebildung in der Informatik German National Library
Zu einer ökologischen Theorie der Informatik German National Library

Open Section Close Section Selected Co-authors

Open Section Close Section Countries and Regions of Publication (3)

Open Section Close Section Publication Statistics

Open Section Close Section Selected Publishers (10)

Open Section Close Section About

Open Section Close Section History of VIAF ID:66531157 (12)