Crossref Citations
This article has been cited by the following publications. This list is generated based on data provided by
Crossref.
Stahl, Saul
1983.
A combinatorial analog of the Jordan Curve Theorem.
Journal of Combinatorial Theory, Series B,
Vol. 35,
Issue. 1,
p.
28.
Vince, Andrew
1983.
Combinatorial maps.
Journal of Combinatorial Theory, Series B,
Vol. 34,
Issue. 1,
p.
1.
Pouzet, M.
1985.
Graphs and Order.
p.
592.
Miller, Gary L
1987.
An additivity theorem for the genus of a graph.
Journal of Combinatorial Theory, Series B,
Vol. 43,
Issue. 1,
p.
25.
Vince, Andrew
and
Little, C.H.C
1989.
Discrete Jordan Curve Theorems.
Journal of Combinatorial Theory, Series B,
Vol. 47,
Issue. 3,
p.
251.
Sopena, Eric
1991.
Hypermap rewriting: a combinatorial approach.
Theoretical Computer Science,
Vol. 85,
Issue. 2,
p.
253.
Clementini, E.
and
Di Felice, P.
1998.
Topological invariants for lines.
IEEE Transactions on Knowledge and Data Engineering,
Vol. 10,
Issue. 1,
p.
38.
Puitg, FranÇois
and
Dufourd, Jean -FranÇois
1998.
Theorem Proving in Higher Order Logics.
Vol. 1479,
Issue. ,
p.
401.
Puitg, François
and
Dufourd, Jean-François
1999.
Applied Formal Methods — FM-Trends 98.
Vol. 1641,
Issue. ,
p.
62.
Bender, Edward A.
Compton, Kevin J.
and
Richmond, L. Bruce
1999.
0-1 laws for maps.
Random Structures and Algorithms,
Vol. 14,
Issue. 3,
p.
215.
Puitg, François
and
Dufourd, Jean-François
2000.
Formalizing mathematics in higher-order logic: A case study in geometric modelling.
Theoretical Computer Science,
Vol. 234,
Issue. 1-2,
p.
1.
Dehlinger, Christophe
and
Dufourd, Jean-François
2004.
Formalizing the trading theorem in Coq.
Theoretical Computer Science,
Vol. 323,
Issue. 1-3,
p.
399.
Dufourd, Jean-François
2008.
Polyhedra genus theorem and Euler formula: A hypermap-formalized intuitionistic proof.
Theoretical Computer Science,
Vol. 403,
Issue. 2-3,
p.
133.
Dufourd, Jean-François
2009.
An Intuitionistic Proof of a Discrete Form of the Jordan Curve Theorem Formalized in Coq with Combinatorial Hypermaps.
Journal of Automated Reasoning,
Vol. 43,
Issue. 1,
p.
19.
Brun, Christophe
Dufourd, Jean-François
and
Magaud, Nicolas
2012.
Designing and proving correct a convex hull algorithm with hypermaps in Coq.
Computational Geometry,
Vol. 45,
Issue. 8,
p.
436.
Nedela, Roman
and
_koviera, Martin
2013.
Handbook of Graph Theory, Second Edition.
Vol. 20134658,
Issue. ,
p.
820.
2014.
Combinatorial Maps.
p.
317.
Yang, Yan
and
Liu, Yanpei
2015.
Embedding of circulant graphs and generalized Petersen graphs on projective plane.
Frontiers of Mathematics in China,
Vol. 10,
Issue. 1,
p.
209.
Dubois, Catherine
Giorgetti, Alain
and
Genestier, Richard
2016.
Tests and Proofs.
Vol. 9762,
Issue. ,
p.
57.
Dubois, Catherine
and
Giorgetti, Alain
2018.
Tests and proofs for custom data generators.
Formal Aspects of Computing,
Vol. 30,
Issue. 6,
p.
659.