"expressiveness" - Selaus asiasanan mukaan Väitöskirjat

    • Approaches to Finite Variable Dependence: Expressiveness and Computational Complexity 

      Virtema, Jonni
      Acta Electronica Universitatis Tamperensis : 1427 (Tampere University Press, 2014)
      Monografiaväitöskirja
      Riippuvuuslogiikka on uusi formalismi, jossa tarkastellaan riippuvuuskäsitteeseen liittyviä ilmiöitä muodollisen logiikan viitekehyksessä. Muodollisiin logiikoihin liittyvissä matemaattisissa tarkasteluissa tutkimuksen ...