Original language | Undefined/Unknown |
---|---|
Pages (from-to) | 157-171 |
Journal | Archive for Mathematical Logic |
Volume | 35 |
Publication status | Published - 1996 |
Externally published | Yes |
Publication type | A1 Journal article-refereed |
A double arity hierarchy theorem for transitive closure logic
Grohe Martin, Lauri Hella
Research output: Contribution to journal › Article › Scientific › peer-review
5
Citations
(Scopus)