Siirry päänavigointiin Siirry hakuun Siirry pääsisältöön

Ordering finite variable types with generalized quantifiers

Tutkimustuotos: KonferenssiartikkeliTieteellinenvertaisarvioitu

1 Sitaatiot (Scopus)
AlkuperäiskieliEi tiedossa
OtsikkoProceedings of 13th Annual IEEE Symposium on Logic in Computer Science
Sivut28-43
TilaJulkaistu - 1998
Julkaistu ulkoisestiKyllä
OKM-julkaisutyyppiA4 Artikkeli konferenssijulkaisussa

Siteeraa tätä