| Alkuperäiskieli | Ei tiedossa |
|---|---|
| Sivut | 71-86 |
| Julkaisu | JOURNAL OF LOGIC AND COMPUTATION |
| Vuosikerta | 8 |
| Tila | Julkaistu - 1998 |
| Julkaistu ulkoisesti | Kyllä |
| OKM-julkaisutyyppi | A1 Alkuperäisartikkeli tieteellisessä aikakauslehdessä |
Enhancing fixed point logic with cardinality quantifiers
Lauri Hella, Henrik Imhof
Tutkimustuotos: Artikkeli › Tieteellinen › vertaisarvioitu
3
Sitaatiot
(Scopus)