Creus López, Carles; Gascón Caro, Adrià; Godoy Balil, Guillem (2013-12-01)
Restricted access - publisher's policyIn recent years, several extensions of tree automata have been considered. Most of them are related with the capability of testing equality or disequality of certain subterms of the term evaluated by the automaton. In ...
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)
Restricted access - publisher's policyIn 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 ...
Creus López, Carles; Gascón Caro, Adrià; Godoy Balil, Guillem; Ramos, Lander (2012)
Restricted access - publisher's policyThe 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. ...
Gascón Caro, Adrià; Godoy Balil, Guillem; Schmidt-Schauß, Manfred (2011-07-29)
Restricted access - publisher's policyTerm 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 ...
Gascón Caro, Adrià (Universitat Politècnica de Catalunya, 2014-05-30)