"expressiveness" - Selaus asiasanan mukaan Väitöskirjat
Viitteet 1-1 / 1
-
Approaches to Finite Variable Dependence: Expressiveness and Computational Complexity
Acta Electronica Universitatis Tamperensis : 1427 (Tampere University Press, 2014)
MonografiaväitöskirjaRiippuvuuslogiikka on uusi formalismi, jossa tarkastellaan riippuvuuskäsitteeseen liittyviä ilmiöitä muodollisen logiikan viitekehyksessä. Muodollisiin logiikoihin liittyvissä matemaattisissa tarkasteluissa tutkimuksen ...