Computing queries with higher order logics

L Hella, J Turull-Torres

    Tutkimustuotos: ArtikkeliTieteellinenvertaisarvioitu

    11 Sitaatiot (Scopus)
    AlkuperäiskieliEnglanti
    Sivut197-214
    JulkaisuTheoretical Computer Science
    Vuosikerta355
    TilaJulkaistu - 2006
    OKM-julkaisutyyppiA1 Alkuperäisartikkeli tieteellisessä aikakauslehdessä

    Siteeraa tätä