A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

Display formulas [help]

Ashby, W. R. ; et al., Automata Studies (1956)
Asser, Günter, Die endlichwertigen Łukasiewiczschen Aussagenkalküle (1953)
Asser, Günter, Das Repräsentantenproblem im Prädikatenkalkül der Ersten Stufe mit Identität (1955)
Asser, Günter, Eine Semantische Charakterisierung der Deduktiv Abgeschlossenen Mengen des Prädikatenkalküls der ersten Stufe (1955)
Asser, Günter, Über die Ausdrucksfähigkeit des Prädikatenkalküls der ersten Stufe mit Funktionalen (1956)
Asser, Günter, Theorie der logischen Auswahlfunktionen (1957)
Asser, Günter, Normierte Postsche Algorithmen (1959)
Asser, Günter, Turing-Maschinen und Markowsche Algorithmen (1959)
Asser, Günter, Rekursive Wortfunktionen (1960)
Asser, Günter, Zwei Rekursionstheoreme für normale Algorithmen (1960)