The domino problem of the hyperbolic plane is undecidable, new proof.

Maurice Margenstern

Published in: CoRR (2022)

Keyphrases

sufficient conditions
real time
three dimensional
np complete
linear logic
natural deduction
conservation laws
partial differential equations
theorem proving
free space