To access the full text documents, please follow this link: http://hdl.handle.net/2117/20262
dc.contributor | Universitat Politècnica de Catalunya. Departament de Llenguatges i Sistemes Informàtics |
---|---|
dc.contributor | Universitat Politècnica de Catalunya. ALBCOM - Algorismia, Bioinformàtica, Complexitat i Mètodes Formals |
dc.contributor.author | Barguño, Luis |
dc.contributor.author | Creus López, Carles |
dc.contributor.author | Godoy Balil, Guillem |
dc.contributor.author | Jacquemard, Florent |
dc.contributor.author | Vacher, Camile |
dc.date | 2013-02 |
dc.identifier.citation | Barguño, L. [et al.]. Decidable classes of tree automata mixing local and global constraints modulo flat theories. "Logical methods in computer science", Febrer 2013, vol. 9, núm. 2, p. 1-39. |
dc.identifier.citation | 1860-5974 |
dc.identifier.citation | 10.2168/LMCS-9(2:01)2013 |
dc.identifier.uri | http://hdl.handle.net/2117/20262 |
dc.language.iso | eng |
dc.rights | info:eu-repo/semantics/openAccess |
dc.subject | Àrees temàtiques de la UPC::Informàtica::Informàtica teòrica |
dc.subject | Tree automata |
dc.subject | Automata theory |
dc.subject | Computability and decidability |
dc.subject | Equivalence classes |
dc.subject | Forestry |
dc.subject | XML |
dc.subject | Problema de decisió |
dc.title | Decidable classes of tree automata mixing local and global constraints modulo flat theories |
dc.type | info:eu-repo/semantics/publishedVersion |
dc.type | info:eu-repo/semantics/article |
dc.description.abstract | |
dc.description.abstract |