| Alkuperäiskieli | Englanti |
|---|---|
| Julkaisu | Electronic Notes in Theoretical Computer Science |
| Vuosikerta | 84 |
| Tila | Julkaistu - 2003 |
| OKM-julkaisutyyppi | A1 Alkuperäisartikkeli tieteellisessä aikakauslehdessä |
Expressibility of higher order logics
Lauri Hella, Jose Maria Turull-Torres
Tutkimustuotos: Artikkeli › Tieteellinen › vertaisarvioitu
7
Sitaatiot
(Scopus)