Aktiviteetteja vuodessa
Aktiviteetit
- 11 tulosta
Hakutulokset
-
Opinnäytetöiden ohjaus, Väitöskirja: Approaches to finite variable dependence: Expressiveness and computational complexity
Hella, L. (Examiner)
2008 → 2014Aktiviteetti: Väitöskirjatutkijan ohjaaja
-
Opinnäytetöiden ohjaus, Väitöskirja: Riippuvuuslogiikkaa ja modaalilogiikkaa
Hella, L. (Examiner)
2008 → 2012Aktiviteetti: Väitöskirjatutkijan ohjaaja
-
Opinnäytetöiden ohjaus, Väitöskirja: Modal fragments of second order logic
Hella, L. (Examiner)
2005 → 2011Aktiviteetti: Väitöskirjatutkijan ohjaaja
-
Opinnäytetöiden ohjaus, Väitöskirja: Modaalilogiikkaa ja äärellisten mallien teoriaa
Hella, L. (Examiner)
2005 → 2010Aktiviteetti: Väitöskirjatutkijan ohjaaja
-
Opinnäytetöiden ohjaus, Väitöskirja: Toisen kertaluvun logiikan modaalisista fragmenteista
Hella, L. (Examiner)
2005 → 2011Aktiviteetti: Väitöskirjatutkijan ohjaaja
-
Opinnäytetöiden ohjaus, Väitöskirja: On definability of functions of several variables
Hella, L. (Examiner)
2002 → 2006Aktiviteetti: Väitöskirjatutkijan ohjaaja
-
Opinnäytetöiden ohjaus, Väitöskirja: Abiteboul-Vianu teoriaa yleistettyjen kvanttorien kanssa
Hella, L. (Examiner)
2001 → 2005Aktiviteetti: Väitöskirjatutkijan ohjaaja
-
Opinnäytetöiden ohjaus, Väitöskirja: Generalizing the Goldblatt-Thomason theorem and modal definability
Hella, L. (Examiner)
2001 → 2008Aktiviteetti: Väitöskirjatutkijan ohjaaja
-
Opinnäytetöiden ohjaus, Väitöskirja: Toisen kertaluvun yleistetyistä kvanttoreista
Hella, L. (Examiner)
1996 → 2000Aktiviteetti: Väitöskirjatutkijan ohjaaja
-
Opinnäytetöiden ohjaus, Väitöskirja: Yleistettyjen kvanttoreiden sovelluksia deskriptiivisessä vaativuusteoriassa
Hella, L. (Examiner)
1993 → 1996Aktiviteetti: Väitöskirjatutkijan ohjaaja
-
Opinnäytetöiden ohjaus, Väitöskirja: Filtterien sovellukset abstraktissa malliteoriassa
Hella, L. (Examiner)
1991 → 1992Aktiviteetti: Väitöskirjatutkijan ohjaaja