Works matching IS 09425616 AND DT 1971 AND VI 17 AND IP 1
Results: 49
Semantic Translation of Programming Languages.
- Published in:
- Mathematical Logic Quarterly, 1971, v. 17, n. 1, p. 39, doi. 10.1002/malq.19710170110
- By:
- Publication type:
- Article
Die Nichtkompaktheit der Klasse der Archimedisch Geordneten Körper.
- Published in:
- Mathematical Logic Quarterly, 1971, v. 17, n. 1, p. 189, doi. 10.1002/malq.19710170121
- By:
- Publication type:
- Article
Some Remarks on Uniform Halting Problems.
- Published in:
- Mathematical Logic Quarterly, 1971, v. 17, n. 1, p. 281, doi. 10.1002/malq.19710170132
- By:
- Publication type:
- Article
Full Models and Restricted Extensions of Propositional Calculi.
- Published in:
- Mathematical Logic Quarterly, 1971, v. 17, n. 1, p. 5, doi. 10.1002/malq.19710170103
- By:
- Publication type:
- Article
Undecidable Extensions of Monadic Second Order Successor Arithmetic.
- Published in:
- Mathematical Logic Quarterly, 1971, v. 17, n. 1, p. 385, doi. 10.1002/malq.19710170143
- By:
- Publication type:
- Article
Limites in Kategorien von Relationalsystemen.
- Published in:
- Mathematical Logic Quarterly, 1971, v. 17, n. 1, p. 75, doi. 10.1002/malq.19710170114
- By:
- Publication type:
- Article
The Equivalence of Different Hierarchies of Elementary Functions.
- Published in:
- Mathematical Logic Quarterly, 1971, v. 17, n. 1, p. 219, doi. 10.1002/malq.19710170125
- By:
- Publication type:
- Article
The Converse to a Metatheorem in Gödel Set Theory.
- Published in:
- Mathematical Logic Quarterly, 1971, v. 17, n. 1, p. 21, doi. 10.1002/malq.19710170106
- By:
- Publication type:
- Article
A Property of the Function ψ(α) defined by 2<sup>ℵ</sup>α = ℵ<sub>α+ψ(α)</sub>.
- Published in:
- Mathematical Logic Quarterly, 1971, v. 17, n. 1, p. 23, doi. 10.1002/malq.19710170107
- By:
- Publication type:
- Article
Entscheidungsprobleme in der Elementaren Theorie Einer Zweistelligen Relation.
- Published in:
- Mathematical Logic Quarterly, 1971, v. 17, n. 1, p. 301, doi. 10.1002/malq.19710170136
- By:
- Publication type:
- Article
Allgemeine Trennbarkeitsbegriffe bei Metamathematischen Untersuchungen.
- Published in:
- Mathematical Logic Quarterly, 1971, v. 17, n. 1, p. 205, doi. 10.1002/malq.19710170124
- By:
- Publication type:
- Article
Zur Präzisierung des Begriffes Berechenbare Reelle Funktion.
- Published in:
- Mathematical Logic Quarterly, 1971, v. 17, n. 1, p. 295, doi. 10.1002/malq.19710170135
- By:
- Publication type:
- Article
The Cofinal Character of Uniform Spaces and Ordered Fields.
- Published in:
- Mathematical Logic Quarterly, 1971, v. 17, n. 1, p. 377, doi. 10.1002/malq.19710170142
- By:
- Publication type:
- Article
Eine Klassifikation der ε<sub>0</sub>-Rekursiven Funktionen.
- Published in:
- Mathematical Logic Quarterly, 1971, v. 17, n. 1, p. 61, doi. 10.1002/malq.19710170113
- By:
- Publication type:
- Article
On the Languages Representable by Finite Probabilistic Automata.
- Published in:
- Mathematical Logic Quarterly, 1971, v. 17, n. 1, p. 427, doi. 10.1002/malq.19710170147
- By:
- Publication type:
- Article
The Simple Exponential Constant Problem.
- Published in:
- Mathematical Logic Quarterly, 1971, v. 17, n. 1, p. 133, doi. 10.1002/malq.19710170118
- By:
- Publication type:
- Article
A Decision Problem Concerning Autoduality in k-Valued Logic.
- Published in:
- Mathematical Logic Quarterly, 1971, v. 17, n. 1, p. 251, doi. 10.1002/malq.19710170129
- By:
- Publication type:
- Article
Zahlbereichskonstruktionen in einer Mehrwertigen Mengenlehre.
- Published in:
- Mathematical Logic Quarterly, 1971, v. 17, n. 1, p. 145, doi. 10.1002/malq.19710170120
- By:
- Publication type:
- Article
Sublattices of the Recursively Enumerable Degrees.
- Published in:
- Mathematical Logic Quarterly, 1971, v. 17, n. 1, p. 273, doi. 10.1002/malq.19710170131
- By:
- Publication type:
- Article
Two Conjugate Primitive Recursive Permutations not Conjugate by a Primitive Recursive Permutation.
- Published in:
- Mathematical Logic Quarterly, 1971, v. 17, n. 1, p. 1, doi. 10.1002/malq.19710170102
- By:
- Publication type:
- Article
On a Class of Stochastic Languages.
- Published in:
- Mathematical Logic Quarterly, 1971, v. 17, n. 1, p. 421, doi. 10.1002/malq.19710170146
- By:
- Publication type:
- Article
Strong Computability and Variants of the Uniform Halting Problem.
- Published in:
- Mathematical Logic Quarterly, 1971, v. 17, n. 1, p. 115, doi. 10.1002/malq.19710170117
- By:
- Publication type:
- Article
Montague Type Semantics for Modal Logics with Propositional Quantifiers.
- Published in:
- Mathematical Logic Quarterly, 1971, v. 17, n. 1, p. 245, doi. 10.1002/malq.19710170128
- By:
- Publication type:
- Article
Arithmetical Reducibilities I.
- Published in:
- Mathematical Logic Quarterly, 1971, v. 17, n. 1, p. 335, doi. 10.1002/malq.19710170139
- By:
- Publication type:
- Article
Über das Ordnungstheorem.
- Published in:
- Mathematical Logic Quarterly, 1971, v. 17, n. 1, p. 257, doi. 10.1002/malq.19710170130
- By:
- Publication type:
- Article
Masthead.
- Published in:
- Mathematical Logic Quarterly, 1971, v. 17, n. 1, p. fmi, doi. 10.1002/malq.19710170101
- Publication type:
- Article
The Logics Containing S 4.3.
- Published in:
- Mathematical Logic Quarterly, 1971, v. 17, n. 1, p. 371, doi. 10.1002/malq.19710170141
- By:
- Publication type:
- Article
Theseus im Labyrinth aks Turingmaschine.
- Published in:
- Mathematical Logic Quarterly, 1971, v. 17, n. 1, p. 57, doi. 10.1002/malq.19710170112
- By:
- Publication type:
- Article
Konstruktive Teiltheorien.
- Published in:
- Mathematical Logic Quarterly, 1971, v. 17, n. 1, p. 197, doi. 10.1002/malq.19710170123
- By:
- Publication type:
- Article
Classes of Recursive Functions and Their Index Sets.
- Published in:
- Mathematical Logic Quarterly, 1971, v. 17, n. 1, p. 291, doi. 10.1002/malq.19710170134
- By:
- Publication type:
- Article
On a Problem of Mostowski on Finite Spectra.
- Published in:
- Mathematical Logic Quarterly, 1971, v. 17, n. 1, p. 17, doi. 10.1002/malq.19710170105
- By:
- Publication type:
- Article
Boolean Powers in Algebraic Logic.
- Published in:
- Mathematical Logic Quarterly, 1971, v. 17, n. 1, p. 411, doi. 10.1002/malq.19710170145
- By:
- Publication type:
- Article
A Decision Process for 3-Valued Sheffer Functions II.
- Published in:
- Mathematical Logic Quarterly, 1971, v. 17, n. 1, p. 97, doi. 10.1002/malq.19710170116
- By:
- Publication type:
- Article
On Effectively Computable Operators.
- Published in:
- Mathematical Logic Quarterly, 1971, v. 17, n. 1, p. 231, doi. 10.1002/malq.19710170127
- By:
- Publication type:
- Article
Extensions of Isolic Models.
- Published in:
- Mathematical Logic Quarterly, 1971, v. 17, n. 1, p. 323, doi. 10.1002/malq.19710170138
- By:
- Publication type:
- Article
On the Axiom of Choice and the Continuum Hypothesis.
- Published in:
- Mathematical Logic Quarterly, 1971, v. 17, n. 1, p. 35, doi. 10.1002/malq.19710170109
- By:
- Publication type:
- Article
A Correction.
- Published in:
- Mathematical Logic Quarterly, 1971, v. 17, n. 1, p. 464, doi. 10.1002/malq.19710170149
- By:
- Publication type:
- Article
Representation of Locally Finite Polyadic Algebras and Ultrapowers.
- Published in:
- Mathematical Logic Quarterly, 1971, v. 17, n. 1, p. 91, doi. 10.1002/malq.19710170115
- By:
- Publication type:
- Article
Universally Complete Universal Theories.
- Published in:
- Mathematical Logic Quarterly, 1971, v. 17, n. 1, p. 351, doi. 10.1002/malq.19710170140
- By:
- Publication type:
- Article
Interpretierbarkeit und Entscheidbarkeit in der Graphentheorie I.
- Published in:
- Mathematical Logic Quarterly, 1971, v. 17, n. 1, p. 47, doi. 10.1002/malq.19710170111
- By:
- Publication type:
- Article
Non-Effectiveness in S. Orey's Arithmetical Compactness Theorem.
- Published in:
- Mathematical Logic Quarterly, 1971, v. 17, n. 1, p. 285, doi. 10.1002/malq.19710170133
- By:
- Publication type:
- Article
Restricted Extensions of Implicational Calculi.
- Published in:
- Mathematical Logic Quarterly, 1971, v. 17, n. 1, p. 11, doi. 10.1002/malq.19710170104
- By:
- Publication type:
- Article
An Extension of the Hyperprojective Hierarchy.
- Published in:
- Mathematical Logic Quarterly, 1971, v. 17, n. 1, p. 395, doi. 10.1002/malq.19710170144
- By:
- Publication type:
- Article
Ein Kriterium für die Annahme des Maximums in der Berechenbaren Analysis.
- Published in:
- Mathematical Logic Quarterly, 1971, v. 17, n. 1, p. 193, doi. 10.1002/malq.19710170122
- By:
- Publication type:
- Article
Algebraic Completeness Results for Dummett's LC and Its Extensions.
- Published in:
- Mathematical Logic Quarterly, 1971, v. 17, n. 1, p. 225, doi. 10.1002/malq.19710170126
- By:
- Publication type:
- Article
Die Entscheidbarkeit der Endlichen Ununterscheidbarkeit Endlicher Automaten.
- Published in:
- Mathematical Logic Quarterly, 1971, v. 17, n. 1, p. 315, doi. 10.1002/malq.19710170137
- By:
- Publication type:
- Article
Über Rekursionssätze in der Bernays-Gödel-und in der Neumann-Quine-Mengenlehre.
- Published in:
- Mathematical Logic Quarterly, 1971, v. 17, n. 1, p. 25, doi. 10.1002/malq.19710170108
- By:
- Publication type:
- Article
Rekursive Untrennbarkeit Bei Elementaren Theorien.
- Published in:
- Mathematical Logic Quarterly, 1971, v. 17, n. 1, p. 443, doi. 10.1002/malq.19710170148
- By:
- Publication type:
- Article
On the Equivalence for Non-Derivability Testing of Finite Smiley Models and Finite Modified Smiley Models.
- Published in:
- Mathematical Logic Quarterly, 1971, v. 17, n. 1, p. 137, doi. 10.1002/malq.19710170119
- By:
- Publication type:
- Article