Übersetzung von algorithmischen Formelsprachen in die Programmsprachen von Rechenmaschinen

Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 4 (12-16):180-221 (1958)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Add categories

Keywords

Reprint years

DOI

10.1002/malq.19580041205

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,031

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

Übersetzung von algorithmischen Formelsprachen in die Programmsprachen von Rechenmaschinen.H. Bottenbruch - 1958 - Mathematical Logic Quarterly 4 (12‐16):180-221.
Über die Reduzierung der Anzahl von Eingabesignalen von Automaten.Hans-Joachim Pohl - 1968 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 14 (6):93-96.
Die Definition von Vertauschbarkeitsmengen in derk-Wertigen Logik und das Maximalitätsproblem.W. Harnau - 1974 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 20 (19-22):339-352.
Über Die Ausdehnung Von ℵ-Homomorphismen Boolescher Algebren.Klaus Matthes - 1960 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 6 (7-14):97-105.
Die Verwendung von Aussagenkalkülen zur Beschreibung elektrischer Schaltungen.Hans Rohleder - 1955 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 1 (4):304-309.
Über Die Darstellbarkeit Von Ereignissen in Nicht-Initialen Automaten.Peter H. Starke - 1963 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 9 (21):315-319.
Über die eliminierbarkeit Von definitionsschemata in der theorie der rekursiven funktionen.Dieter Rödding - 1964 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 10 (18):315-330.
Über die Verwendung eines Aussagenkalküls bei der Synthese von Rechenwerken.Hans Rohleder - 1957 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 3 (13-20):292-302.
Einfache Beweise Für Die Eindeutige Zerlegbarkeit Von Ausdrücken Endlicher und Unendlicher Sprachen.Karl-Heinz Diener - 1987 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 33 (3):211-234.
Vollständige Mengen von Algebren.H. F. J. Lowig - 1978 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 24 (1-6):45-53.

Analytics

Added to PP
2016-02-04

Downloads
22 (#732,350)

6 months
1 (#1,515,053)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

Introduction to mathematical logic.Alonzo Church - 1944 - Princeton,: Princeton University Press. Edited by C. Truesdell.
Introduction to Mathematical Logic.S. C. Kleene - 1956 - Journal of Symbolic Logic 23 (3):362-362.
Einführungin die operative Logik und Mathematik.Th Skolem - 1957 - Zeitschrift für Philosophische Forschung 11 (4):631-633.

Add more references