Formalization of Planar Graphs

Authors:
Mitsuharu Yamamoto;Shin-ya Nishizaki;Masami Hagiya;Yozo Toda
Affiliations:
-;-;-;-
Venue:
Proceedings of the 8th International Workshop on Higher Order Logic Theorem Proving and Its Applications
Year:
1995

Citing 0
Cited 6

The 5 Colour Theorem in Isabelle/Isar

TPHOLs '02 Proceedings of the 15th International Conference on Theorem Proving in Higher Order Logics
Polyhedra genus theorem and Euler formula: A hypermap-formalized intuitionistic proof

Theoretical Computer Science
Abstraction of Graph Transformation Systems by Temporal Logic and Its Verification

Verified Software: Theories, Tools, Experiments
An Intuitionistic Proof of a Discrete Form of the Jordan Curve Theorem Formalized in Coq with Combinatorial Hypermaps

Journal of Automated Reasoning
Using three-valued logic to specify and verify algorithms of computational geometry

ICFEM'05 Proceedings of the 7th international conference on Formal Methods and Software Engineering
Formal verification of coalescing graph-coloring register allocation

ESOP'10 Proceedings of the 19th European conference on Programming Languages and Systems

Quantified Score

Hi-index	0.00

Visualization

Abstract