Seese, Detlef G. Ein Unentscheidbarkeitskriterium. (German) Zbl 0331.02026 Wiss. Z. Humboldt-Univ. Berlin, Math.-naturw. R. 24, 772-780 (1975). Page: −5 −4 −3 −2 −1 ±0 +1 +2 +3 +4 +5 Show Scanned Page Cited in 5 Documents MSC: 03B25 Decidability of theories and sets of sentences 05C99 Graph theory PDF BibTeX XML Cite \textit{D. G. Seese}, Wiss. Z. Humboldt-Univ. Berlin, Math.-Naturw. R. 24, 772--780 (1975; Zbl 0331.02026) OpenURL