Exploració per autor "Gascón Caro, Adrià"
Ara es mostren els items 2-5 de 5
-
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'editorialIn 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'editorialThe 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'editorialTerm 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 obertTerm 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 ...