DSpace DSpace UPC
 Català   Castellano   English  

E-prints UPC >

Llistant per Autor Godoy Balil, Guillem

Saltar a: 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
O introdueix les primeres lletres:   
Ordenar per: En ordre: Resultats/Pàgina Autors/Registre:
Mostrant resultats 1 a 10 de 10
Vista preliminarDataTítolAutor(s)
2014Automatic evaluation of context-free grammars (system description)Creus López, Carles; Godoy Balil, Guillem
2014Automatic evaluation of reductions between NP-complete problemsCreus López, Carles; Fernández Durán, Pau; Godoy Balil, Guillem
Barguño et al.pdf.jpgfeb-2013Decidable classes of tree automata mixing local and global constraints modulo flat theoriesBarguño, Luis; Creus López, Carles; Godoy Balil, Guillem; Jacquemard, Florent; Vacher, Camile
1-des-2013Emptiness and finiteness for tree automata with global reflexive disequality constraintsCreus López, Carles; Gascón Caro, Adrià; Godoy Balil, Guillem
1-mar-2014Excessively duplicating patterns represent non-regular languagesCreus López, Carles; Godoy Balil, Guillem; Ramos Garrido, Lander
2011Learning theory through videos: a teaching experience in a theoretical course based on self-learning videos and problem-solving sessionsArias Vicente, Marta; Creus López, Carles; Gascón Caro, Adrià; Godoy Balil, Guillem
oct-2013Non-linear rewrite closure and weak normalizationCreus López, Carles; Godoy Balil, Guillem; Massanes Basi, Francesc d'Assis; Tiwari, Ashish Kumar
2012The HOM problem is EXPTIME-completeCreus López, Carles; Gascón Caro, Adrià; Godoy Balil, Guillem; Ramos, Lander
2014Tree automata with height constraints between brothersCreus López, Carles; Godoy Balil, Guillem
29-jul-2011Unification and matching on compressed termsGascón Caro, Adrià; Godoy Balil, Guillem; Schmidt-Schauß, Manfred
Mostrant resultats 1 a 10 de 10

 

Valid XHTML 1.0! Programari DSpace Copyright © 2002-2004 MIT and Hewlett-Packard Comentaris
Universitat Politècnica de Catalunya. Servei de Biblioteques, Publicacions i Arxius