$$\forall \exists \mathbb {R}$$∀∃R-Completeness and Area-Universality

Graph-Theoretic Concepts in Computer Science - Lecture Notes in Computer Science ◽

10.1007/978-3-030-00256-5_14 ◽

2018 ◽

pp. 164-175 ◽

Author(s):

Michael Gene Dobbins ◽

Linda Kleist ◽

Tillmann Miltzow ◽

Paweł Rzążewski

Download Full-text