Directed non-cooperative tile assembly is decidable

From MaRDI portal
Publication:6076673