Beitrag zur Reduktion des Entscheidungsproblems auf Klassen von Hornformeln mit kurzen Alternationen

Archive for Mathematical Logic 16 (1-2):67-84 (1974)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Add categories

Keywords

Reprint years

DOI

10.1007/bf02025119

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,440

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Review: Laszlo Kalmar, Zur Reduktion des Entscheidungsproblems. [REVIEW]Alonzo Church - 1938 - Journal of Symbolic Logic 3 (1):46-46.
Review: Janos Suranyi, A Logikai Fuggvenykalkulus Eldontes-Problemajanak Redukciojarol (Zur Reduktion des Entscheidungsproblems des Logischen Funktionenkalkuls). [REVIEW]Rózsa Péter - 1944 - Journal of Symbolic Logic 9 (1):22-24.
Die Reduktion physikalischer Theorien. Ein Beitrag zur Einheit der Physik.Erhard Scheibe - 1999 - Erkenntnis 50 (1):127-131.
Erhard Scheibe, Die Reduktion physikalischer Theorien. Ein Beitrag zur Einheit der Physik.W. Diederich - 1999 - Journal for General Philosophy of Science / Zeitschrift für Allgemeine Wissenschaftstheorie 30 (2):388-396.
Epoché und Reduktion. Formen und Praxis der Reduktion in der Phänomenologie.Rolf Kühn & Michael Staudigl - 2004 - Tijdschrift Voor Filosofie 66 (2):391-392.
Nr. 11: Radikale Reduktion auf die strömendlebendige Gegenwart ist äquivalent mit transzendental phänomenologischer Reduktion.Edmund Husserl - 2005 - New Yearbook for Phenomenology and Phenomenological Philosophy 5:358-363.
Die Reduktion physikalischer Theorien. Ein Beitrag zur Einheit der Physik, I: Grundlagen und elementare Theorie, Berlin etc. [REVIEW]Kristian Köchy - 1999 - Journal for General Philosophy of Science / Zeitschrift für Allgemeine Wissenschaftstheorie 30 (2):389-396.
Die reduktion physikalischer theorien. Ein beitrag zur einheit der physik, I: Grundlagen und elementare theorie, Berlin etc. [REVIEW]Werner Diederich - 1999 - Journal for General Philosophy of Science / Zeitschrift für Allgemeine Wissenschaftstheorie 30 (2):388-396.
Erhard Scheibe, die reduktion physikalischer theorien. Ein beitrag zur einheit der physik.Thomas Bartelborth - 1999 - Erkenntnis 50 (1):123-127.
Die Reduktion physikalischer Theorien. Ein Beitrag zur Einheit der Physik.Erhard Scheibe - 1999 - Journal for General Philosophy of Science / Zeitschrift für Allgemeine Wissenschaftstheorie 30 (2):388-396.
4. Reduktion und Vereinheitlichung in der Astroteilchenphysik.Raphael Bolinger - 2015 - In Rekonstruktion Und Reduktion Physikalischer Theorien: Der Ansatz von Erhard Scheibe an Beispielen Aus der Astroteilchenphysik. De Gruyter. pp. 159-193.
Methode oder Techne? Ethik und Realität in der "Phänomenologischen" Reduktion Max Schelers.Guido Cusinato - 1998 - In C. Bermes, Wolfhart Henckmann & H. Leonardy (eds.), Denken des Ursprungs - Ursprung des Denkens. K&N. pp. 83-97.
Encouraging a “Romantic Understanding” of Science: The Effect of the Nikola Tesla Story.Yannis Hadzigeorgiou, Stephen Klassen & Cathrine Froese Klassen - 2012 - Science & Education 21 (8):1111-1138.
Nr. 11: Radikale Reduktion auf die strömendlebendige Gegenwart ist äquivalent mit transzendental phänomenologischer Reduktion. Nr. 11: Radical Reduction to the Streaming-Living Present is Equivalent to the Transcendental-Phenomenological Reduction.Edmund Husserl - 2023 - In Burt C. Hopkins & Daniele De Santis (eds.), The New Yearbook for Phenomenology and Phenomenological Philosophy. Routledge. pp. 358-363.
Wortbildende Alternationen im Deutschen und Polnischen.Alfred Tarantowcz - 1997 - Acta Universitatis Lodziensis. Folia Germanica 1:126-133.

Analytics

Added to PP
2020-12-03

Downloads
0

6 months
0

Historical graph of downloads

Sorry, there are not enough data points to plot this chart.
How can I increase my downloads?

Citations of this work

Eine Entscheidbare Klasse Von Kromformeln.Egon Börger - 1973 - Mathematical Logic Quarterly 19 (8-10):117-120.
Eine Entscheidbare Klasse Von Kromformeln.Egon Börger - 1973 - Mathematical Logic Quarterly 19 (8‐10):117-120.

Add more citations

References found in this work

No references found.

Add more references