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 Sudoc [ABES], France National Library of the Netherlands German National Library Library of Congress/NACO
The collected works of J. Richard Büchi / Saunders Mac Lane, Dirk Siefkes ed., 1990 National Library of France NUKAT Center of Warsaw University Library Sudoc [ABES], France German National Library Library of Congress/NACO
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 Library of Congress/NACO German National Library NUKAT Center of Warsaw University Library Sudoc [ABES], France 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 NUKAT Center of Warsaw University Library Sudoc [ABES], France National Library of the Netherlands German National Library Library of Congress/NACO
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 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
Works. Sudoc [ABES], France Library of Congress/NACO
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 (9)