Expressibility of higher order logics

Lauri Hella, Jose Maria Turull-Torres

    Tutkimustuotos: ArtikkeliScientificvertaisarvioitu

    5 Sitaatiot (Scopus)
    AlkuperäiskieliEi tiedossa
    JulkaisuElectronic Notes in Theoretical Computer Science
    Vuosikerta84
    TilaJulkaistu - 2003
    OKM-julkaisutyyppiA1 Alkuperäisartikkeli tieteellisessä aikakauslehdessä

    Siteeraa tätä