A double arity hierarchy theorem for transitive closure logic

Grohe Martin, Lauri Hella

Research output: Contribution to journalArticleScientificpeer-review

5 Citations (Scopus)
Original languageUndefined/Unknown
Pages (from-to)157-171
JournalArchive for Mathematical Logic
Volume35
Publication statusPublished - 1996
Externally publishedYes
Publication typeA1 Journal article-refereed

Cite this