scientific article; zbMATH DE number 4198022
From MaRDI portal
Publication:5203029
zbMATH Open0726.05036MaRDI QIDQ5203029FDOQ5203029
Authors: Walter Klotz
Publication date: 1989
Title of this publication is not available (Why is that?)
Recommendations
Graph algorithms (graph-theoretic aspects) (05C85) Planar graphs; geometric and topological aspects of graph theory (05C10)
Cited In (13)
- Proof-theoretic investigations on Kruskal's theorem
- An exercise in mathematical engineering: stating and proving Kuratowski theorem
- A constructive proof of the Gelfand--Kolmogorov theorem
- An intuitionistic proof of Kruskal's theorem
- A constructive proof of the Chang-Marshall theorem
- Title not available (Why is that?)
- Title not available (Why is that?)
- A new constructive version of Baire's theorem
- A constructive proof of Kirszbraun's theorem
- A Kuratowski-Mrówka theorem in approach theory
- A graphical criterion of planarity for RNA secondary structures with pseudoknots in Rivas-Eddy class
- A constructive proof of Masser’s Theorem
- A large set of torus obstructions and how they were discovered
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5203029)