×

A proof procedure using connection graphs. (English) Zbl 0357.68097


MSC:

68T15 Theorem proving (deduction, resolution, etc.) (MSC2010)
68W99 Algorithms in computer science
05C10 Planar graphs; geometric and topological aspects of graph theory
PDFBibTeX XMLCite
Full Text: DOI