L M Marx

Suggest Changes
Learn More
It is known that the tiling technique can be used to give simple proofs of unde-cidability of various two-dimensional modal and temporal logics. However, up until now, the simplest two-dimensional(More)
  • 1