Siefkes, Dirk.
Siefkes, Dirk, 1938-2016
Dirk Siefkes mathématicien et informaticien
VIAF ID: 66531157 ( Personal )
Permalink: http://viaf.org/viaf/66531157
Preferred Forms
- 100 0 _ ‡a Dirk Siefkes ‡c mathématicien et informaticien
- 200 _ | ‡a Siefkes ‡b Dirk
-
-
- 100 1 _ ‡a Siefkes, Dirk
-
- 100 1 _ ‡a Siefkes, Dirk
-
-
- 100 1 _ ‡a Siefkes, Dirk
-
- 100 1 _ ‡a Siefkes, Dirk
-
- 100 1 _ ‡a Siefkes, Dirk ‡d 1938-2016
-
-
4xx's: Alternate Name Forms (11)
5xx's: Related Names (5)
- 551 _ _ ‡a Dessau ‡4 ortg ‡4 https://d-nb.info/standards/elementset/gnd#placeOfBirth
- 510 2 _ ‡a Gesellschaft für Informatik
- 510 2 _ ‡a Springer Science+Business Media
- 510 2 _ ‡a Technische Universität Berlin ‡4 affi ‡4 https://d-nb.info/standards/elementset/gnd#affiliation ‡e Affiliation
- 510 2 _ ‡a Technische Universität Berlin
Works
Title | Sources |
---|---|
Büchi's monadic second order successor arithmetic. | |
collected works of J. Richard Büchi | |
Completeness proofs for logic programming refutations and derivations for ground clauses | |
Correctness, completeness, and consistency of equational data type specifications | |
Decidable theories | |
Evolutionäre Modelle in der Informatik | |
Finite automata, their algebras and grammars towards a theory of formal expressions | |
Fish in schools or fish in cans evolutionary thinking and formalization | |
Formalisieren und beweisen Logik für Informatiker | |
Gesellschaft für Informatik - 4. Jahrestagung | |
GI-4. Jahrestagung, Berlin, 9.-12. Oktober 1974 | |
Grundzüge der Logik | |
How to communicate proofs or programs | |
Hybridization in computer science | |
Informatics as cultural development case studies from the socialhistory of information technology ; interdisziplinäres Forschungsprojekt (IFP) Sozialgeschichte der Informatik | |
Kleine Systeme | |
Manual on REC a language for use and cost analysis of recursion over arbitraty data structures | |
Methods of logic | |
monadic second order theory of all countable ordinals | |
People's bearings on computers and Turn towards imagination | |
Pioniere der Informatik ihre Lebensgeschichte im Interview | |
Rolle von Schemata in der Informatik als kultureller Entwicklung | |
Sechsundzwanzigster Workshop über Komplexitätstheorie, Datenstrukturen und Effiziente Algorithmen | |
Sozialgeschichte der Informatik kulturelle Praktiken und Orientierungen | |
Unambiguous computation may be better than determinism at simulating nondeterminism (extended abstract) | |
Ungelogene unlogische Geschichten | |
Wende zur Phantasie zur Theoriebildung in der Informatik | |
Zu einer ökologischen Theorie der Informatik |