Interpretierbarkeit und Entscheidbarkeit in der Graphentheorie II
- 1 January 1972
- journal article
- Published by Wiley in Mathematical Logic Quarterly
- Vol. 18 (25-30) , 457-480
- https://doi.org/10.1002/malq.19720182507
Abstract
No abstract availableThis publication has 3 references indexed in Scilit:
- Interpretierbarkeit in der GruppenthoerieAlgebra universalis, 1971
- Decidability of Second-Order Theories and Automata on Infinite TreesTransactions of the American Mathematical Society, 1969
- An application of games to the completeness problem for formalized theoriesFundamenta Mathematicae, 1960