Hyppää sisältöön
Näytä/piilota sivun navigointi
Suomeksi
In English
Trepo
Suomeksi
In English
Kirjaudu
Näytä/piilota sivun navigointi
Näytä viite
Etusivu
Trepo
Artikkelit
Näytä viite
Etusivu
Trepo
Artikkelit
Näytä viite
Hae Treposta
Tämä kokoelma
JavaScript is disabled for your browser. Some features of this site may not work without it.
Capturing k-ary existential second order logic with k-ary inclusion–exclusion logic
Rönnholm, Raine (2018)
Avaa tiedosto
Capturing_k-ary_existential_second_order_logic_2018.pdf (625.3Kt)
Lataukset:
Rönnholm, Raine
2018
Annals of Pure and Applied Logic
169
3
177-215
Luonnontieteiden tiedekunta - Faculty of Natural Sciences
doi:10.1016/j.apal.2017.10.005
Näytä kaikki kuvailutiedot
Julkaisun pysyvä osoite on
https://urn.fi/URN:NBN:fi:uta-201812273024
Kokoelmat
Artikkelit
[6140]
Selaa kokoelmaa
Tekijät
Nimekkeet
Tiedekunta (2019 -)
Tiedekunta (- 2018)
Tutkinto-ohjelmat ja opintosuunnat
Avainsanat
Julkaisuajat
Kokoelmat
Omat tiedot
Kirjaudu sisään
Rekisteröidy