Undecidability of compass logic.

M.J. Marx, M. Reynolds

Research output: Contribution to JournalArticleAcademicpeer-review

Original languageEnglish
Pages (from-to)897-914
JournalJournal of Logic and Computation
Volume9
Issue number6
DOIs
Publication statusPublished - 1999

Cite this