Finite generation problem and n-ary quantifiers

Lauri Hella, Kerkko Luosto

Tutkimustuotos: LukuTieteellinenvertaisarvioitu

AlkuperäiskieliEi tiedossa
OtsikkoQuantifiers: Logics, Models and Computation, Vol. I
ToimittajatM Krynicki, M Mostowski, L Szczerba
Sivut63-104
TilaJulkaistu - 1995
Julkaistu ulkoisestiKyllä
OKM-julkaisutyyppiA3 Kirjan tai muun kokoomateoksen osa

Siteeraa tätä