Found: 7
Select item for more details and to access through your institution.
The R. E. Complexity of Decision Problems for Commutative Semi-Thue Systems With Recursive Rule Set.
- Published in:
- Mathematical Logic Quarterly, 1980, v. 26, n. 28-30, p. 459, doi. 10.1002/malq.19800262805
- By:
- Publication type:
- Article
Masthead.
- Published in:
- Mathematical Logic Quarterly, 1980, v. 26, n. 28-30, p. fmi, doi. 10.1002/malq.19800262801
- Publication type:
- Article
Reduzierbarkeit von Berechenbaren Numerierungen von P<sub>1</sub>.
- Published in:
- Mathematical Logic Quarterly, 1980, v. 26, n. 28-30, p. 445, doi. 10.1002/malq.19800262804
- By:
- Publication type:
- Article
On the Gentzen Type Formalizations.
- Published in:
- Mathematical Logic Quarterly, 1980, v. 26, n. 28-30, p. 439, doi. 10.1002/malq.19800262803
- By:
- Publication type:
- Article
A Class of Polynomial Equations in a Single Ordinal Variable.
- Published in:
- Mathematical Logic Quarterly, 1980, v. 26, n. 28-30, p. 477, doi. 10.1002/malq.19800262807
- By:
- Publication type:
- Article
On the Axiomatizability of the Notion of an Automorphism of a Finite Order.
- Published in:
- Mathematical Logic Quarterly, 1980, v. 26, n. 28-30, p. 433, doi. 10.1002/malq.19800262802
- By:
- Publication type:
- Article
Some Observations Concerning Medial Fields.
- Published in:
- Mathematical Logic Quarterly, 1980, v. 26, n. 28-30, p. 471, doi. 10.1002/malq.19800262806
- By:
- Publication type:
- Article