Dissertation

  1. Nonuniform complexity classes with sub-linear advice functions 1996

    Universidad del País Vasco - Euskal Herriko Unibertsitatea

Dissertationen geleitet (2)

  1. Certificates for decision problems in temporal logic using context-based tableaux and sequent calculi 2023

    Universidad del País Vasco - Euskal Herriko Unibertsitatea

    ABUIN YEPES, ALEX

  2. Learnability of some classes within the exact model 2002

    Universidad del País Vasco - Euskal Herriko Unibertsitatea

    Lavín Puente, Víctor

Dissertationen geleitet (1)

  1. Contribution to supervised representation learning: algorithms and applications 2021

    Universidad del País Vasco - Euskal Herriko Unibertsitatea

    Ahmad, Khoder

Gerichte für Dissertationen (4)

  1. Sekretär/in des Gerichts

    Eficiencia y confiabilidad en la lógica del descubrimiento científico 2014

    Universidad del País Vasco - Euskal Herriko Unibertsitatea

    PAINCEYRA ---, GABRIEL EDUARDO

  2. Sekretär/in des Gerichts

    Invariant-free deduction systems for temporal logic 2012

    Universidad del País Vasco - Euskal Herriko Unibertsitatea

    Gaintzarain Ibarmia, José

  3. Vokal des Gerichts

    The complexity of angel-daemons and game isomorphism 2012

    Universitat Politècnica de Catalunya (UPC)

    García Chacón, Alina

  4. Vokal des Gerichts

    Universal dimension functions and distribution-dependent models for query learning 2002

    Universitat Politècnica de Catalunya (UPC)

    Castro Rabal, Jorge