Enhancing fixed point logic with cardinality quantifiers

Lauri Hella, Henrik Imhof

Research output: Contribution to journalArticleScientificpeer-review

2 Citations (Scopus)
Original languageUndefined/Unknown
Pages (from-to)71-86
JournalJOURNAL OF LOGIC AND COMPUTATION
Volume8
Publication statusPublished - 1998
Externally publishedYes
Publication typeA1 Journal article-refereed

Cite this