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/Q4023457	1993-01-23	Paper
https://portal.mardi4nfdi.de/entity/Q3996610	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

This page was built for person: Dirk Siefkes