| Alkuperäiskieli | Ei tiedossa |
|---|---|
| Otsikko | Proceedings of 13th Annual IEEE Symposium on Logic in Computer Science |
| Sivut | 28-43 |
| Tila | Julkaistu - 1998 |
| Julkaistu ulkoisesti | Kyllä |
| OKM-julkaisutyyppi | A4 Artikkeli konferenssijulkaisussa |
Ordering finite variable types with generalized quantifiers
Anuj Dawar, Lauri Hella, Seth Anil
Tutkimustuotos: Konferenssiartikkeli › Tieteellinen › vertaisarvioitu
1
Sitaatiot
(Scopus)