• Learning theory through videos: a teaching experience in a theoretical course based on self-learning videos and problem-solving sessions 

      Arias Vicente, Marta; Creus López, Carles; Gascón Caro, Adrià; Godoy Balil, Guillem (SciTePress, 2011)
      Text en actes de congrés
      Accés restringit per política de l'editorial
      In this paper we describe a teaching experience applied to a theoretical course tought in a computer science degree. The main feature of our experiment is the introduction of videos specifically designed for self-learning ...
    • The HOM problem is EXPTIME-complete 

      Creus López, Carles; Gascón Caro, Adrià; Godoy Balil, Guillem; Ramos, Lander (2012)
      Text en actes de congrés
      Accés restringit per política de l'editorial
      The HOM problem questions whether the image of a given regular tree language through a given tree homomorphism is also regular. Decidability of HOM is an important theoretical question which was open for a long time. ...
    • Unification and matching on compressed terms 

      Gascón Caro, Adrià; Godoy Balil, Guillem; Schmidt-Schauß, Manfred (2011-07-29)
      Article
      Accés restringit per política de l'editorial
      Term unification plays an important role in many areas of computer science, especially in those related to logic. The universal mechanism of grammar-based compression for terms, in particular the so-called singleton tree ...
    • Variants of unification considering compression and context variables 

      Gascón Caro, Adrià (Universitat Politècnica de Catalunya, 2014-05-30)
      Tesi
      Accés obert
      Term unification is a basic operation in several areas of computer science, specially in those related to logic. Generally speaking, it consists on solving equations over expressions called terms. Depending on the kind of ...