VIAF

Virtual International Authority File

Search

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

VIAF ID: 66531157 (Personal)

Permalink: http://viaf.org/viaf/66531157

ISNI: 0000  0001  0910  5878 

Open Section Close Section Preferred Forms

 

 

 

 

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

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

  • 510 2 _ ‎‡a  Technische Universität Berlin‏ ‎‡e  Affiliation German National Library

Open Section Close SectionWorks

Title Sources
Büchi's monadic second order successor arithmetic. NUKAT Center of Warsaw University Library Library of Congress/NACO National Library of the Netherlands German National Library 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 Sudoc [ABES], France German National Library NUKAT Center of Warsaw University Library Library of Congress/NACO National Library of the Netherlands 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 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 Sudoc [ABES], France German National Library NUKAT Center of Warsaw University Library Library of Congress/NACO National Library of the Netherlands
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
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 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 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)