The Domino Problem of the Hyperbolic Plane Is Undecidable: New Proof.

Maurice Margenstern

Published in: Complex Syst. (2023)

Keyphrases

three dimensional
sufficient conditions
np complete
theorem proving
ground plane
free space
linear logic
bilateral symmetry