Enhancing fixed point logic with cardinality quantifiers

Lauri Hella, Henrik Imhof

Tutkimustuotos: ArtikkeliScientificvertaisarvioitu

2 Sitaatiot (Scopus)
AlkuperäiskieliEi tiedossa
Sivut71-86
JulkaisuJOURNAL OF LOGIC AND COMPUTATION
Vuosikerta8
TilaJulkaistu - 1998
Julkaistu ulkoisestiKyllä
OKM-julkaisutyyppiA1 Alkuperäisartikkeli tieteellisessä aikakauslehdessä

Siteeraa tätä