A universal two-way automation.
D.L. Kreider, R.W. Ritchie (1971)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
Displaying similar documents to “On the relationship between weak compactness in L... and restricted second-order languages.”
A universal two-way automation.
Cupping and noncapping in the R.E. weak truth table and turing degrees.
Klaus Ambos-Spies (1985)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
Localization o a theorem of Ambos-Spies and the strong anti-splitting property.
R.G. Downey (1987)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
Compact and ...-compact formulas in L..., ...
Bonnie Gold (1978)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
On the decidability of p', p'' and p''*.
N. Georgieva (1975)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
Hierarchies of number-theoretic functions. II.
M.H. Löb, S.S. Wainer (1970)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
Hierarchies of number-theoretic functions. I.
M.H. Löb, S.S. Wainer (1970)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
Strong normalization of barrecursive terms without using infinite terms.
Marc Bezem (1985)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
On the existence of an empty set in set-theoretical methods.
A. Abian, S. LaMacchia (1966)
Archiv für mathematische Logik und Grundlagenforschung
Similarity: