On the undecidability of finite planar graphs
From MaRDI portal
Publication:5626646
DOI10.2307/2271520zbMath0222.02056OpenAlexW2073824771MaRDI QIDQ5626646
Solomon A. Garfunkel, Herbert S. Shank
Publication date: 1971
Published in: Journal of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.2307/2271520
Undecidability and degrees of sets of sentences (03D35) Decidability of theories and sets of sentences (03B25)
Related Items (2)
This page was built for publication: On the undecidability of finite planar graphs