| 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)