论文信息 - An undecidable problem in correspondence theory - 字舞流文

An undecidable problem in correspondence theory

Lilia Chagrova | Lilia Chagrova

[1] M. Minsky. Recursive Unsolvability of Post's Problem of "Tag" and other Topics in Theory of Turing Machines , 1961 .

[2] Johan van Benthem,et al. Notes on Modal Definability , 1988, Notre Dame J. Formal Log..