Original language | Undefined/Unknown |
---|---|
Pages (from-to) | 71-86 |
Journal | JOURNAL OF LOGIC AND COMPUTATION |
Volume | 8 |
Publication status | Published - 1998 |
Externally published | Yes |
Publication type | A1 Journal article-refereed |
Enhancing fixed point logic with cardinality quantifiers
Lauri Hella, Henrik Imhof
Research output: Contribution to journal › Article › Scientific › peer-review
2
Citations
(Scopus)