×

zbMATH — the first resource for mathematics

Nonconstructive tools for proving polynomial-time decidability. (English) Zbl 0652.68049

MSC:
68Q25 Analysis of algorithms and problem complexity
68R10 Graph theory (including graph drawing) in computer science
06A06 Partial orders, general
PDF BibTeX XML Cite
Full Text: DOI