Ernst Specker

MaRDI QIDQ6482151zbMATH OpenDBLPWikidataFDO

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Complexity of partial satisfaction. II. Elemente der Mathematik	2012-09-21	Paper
Neochromatica.	2011-03-23	Paper
Neochromatica.	2011-03-23	Paper
Engeler's scientific work Mathematical Structures in Computer Science	1993-01-16	Paper
scientific article; zbMATH DE number 45942 (Why is no real title available?)	1992-09-17	Paper
Complexity of Partial Satisfaction Journal of the ACM	1981-01-01	Paper
scientific article; zbMATH DE number 3687329 (Why is no real title available?)	1979-01-01	Paper
Die Entwicklung der axiomatischen Mengenlehre Jahresbericht der Deutschen Mathematiker-Vereinigung (DMV)	1978-01-01	Paper
scientific article; zbMATH DE number 3604819 (Why is no real title available?)	1976-01-01	Paper
scientific article; zbMATH DE number 3632482 (Why is no real title available?)	1976-01-01	Paper
scientific article; zbMATH DE number 3349776 (Why is no real title available?)	1969-01-01	Paper
scientific article; zbMATH DE number 3251317 (Why is no real title available?)	1967-01-01	Paper
scientific article; zbMATH DE number 3273135 (Why is no real title available?)	1965-01-01	Paper
scientific article; zbMATH DE number 3247999 (Why is no real title available?)	1965-01-01	Paper
Isomorphism Types of Trees	1964-01-01	Paper
The Axiom of Choice in Quine's New Foundations for Mathematical Logic Proceedings of the National Academy of Sciences	1953-01-01	Paper
Nicht konstruktiv beweisbare Sätze der Analysis Journal of Symbolic Logic	1949-01-01	Paper

Research outcomes over time

This page was built for person: Ernst Specker