×

zbMATH — the first resource for mathematics

Planar formulae and their uses. (English) Zbl 0478.68043

MSC:
68Q25 Analysis of algorithms and problem complexity
68R10 Graph theory (including graph drawing) in computer science
03D15 Complexity of computation (including implicit computational complexity)
03B10 Classical first-order logic
PDF BibTeX XML Cite
Full Text: DOI