Dirk Siefkes

Available identifiers

zbMath Open siefkes.dirkDBLP47/1540WikidataQ26722305 ScholiaQ26722305MaRDI QIDQ1207952

List of research outcomes

Publication	Date of Publication	Type
Using inductive counting to simulate nondeterministic computation	1993-05-16	Paper
https://portal.mardi4nfdi.de/entity/Q3996610	1993-01-23	Paper
https://portal.mardi4nfdi.de/entity/Q4023457	1993-01-23	Paper
https://portal.mardi4nfdi.de/entity/Q3975148	1992-06-26	Paper
https://portal.mardi4nfdi.de/entity/Q3976031	1992-06-26	Paper
https://portal.mardi4nfdi.de/entity/Q3774983	1987-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3219105	1984-01-01	Paper
THE COMPLETE EXTENSIONS OF THE MONADIC SECOND ORDER THEORY OF COUNTABLE ORDINALS	1983-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3944007	1981-01-01	Paper
An axiom system for the weak monadic second order theory of two successors	1978-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3880807	1977-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4145307	1977-01-01	Paper
The recursive sets in certain monadic second order fragments of arithmetic	1975-01-01	Paper
The monadic second order theory of all countable ordinals	1973-01-01	Paper
Büchi's monadic second order successor arithmetic.	1970-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5614656	1970-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5579490	1968-01-01	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Dirk Siefkes