"Jaakkola, Reijo" - Selaus tekijän mukaan Väitöskirjat

Viitteet 1-1 / 1

    • Results on Computational Logics : Complexity, Expressivity and Model Theory 

      Jaakkola, Reijo
      Tampere University Dissertations - Tampereen yliopiston väitöskirjat : 1550 (Tampere University, 2026)
      Monografiaväitöskirja
      Laskennalliset logiikat ovat logiikoita, joilla on joko hyvät laskennalliset ominaisuudet tai joita voidaan käyttää laskennan mallintamiseen. Tässä väitöskirjassa tarkastelemme useita laskennallisia logiikoita ja esitämme ...