المؤلفون: Maletti, Andreas, Nász, Andreea-Teodora, Paul, Erik

المساهمون: Andreas Maletti and Andreea-Teodora Nász and Erik Paul

مصطلحات موضوعية: Weighted Tree Automaton, Decision Problem, Subtree Equality Constraint, Tree Homomorphism, HOM-Problem, Weighted Tree Grammar, Weighted HOM-Problem

وصف الملف: application/pdf

Relation: Is Part Of LIPIcs, Volume 289, 41st International Symposium on Theoretical Aspects of Computer Science (STACS 2024); https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.STACS.2024.51

الاتاحة: https://doi.org/10.4230/LIPIcs.STACS.2024.51
https://nbn-resolving.org/urn:nbn:de:0030-drops-197614
https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.STACS.2024.51

المؤلفون: Godoy, Guillem, Giménez, Omer, Ramos Garrido, Lander, Álvarez Faura, M. del Carme

المساهمون: Universitat Politècnica de Catalunya. Departament de Matemàtiques, Universitat Politècnica de Catalunya. Departament de Llenguatges i Sistemes Informàtics, Universitat Politècnica de Catalunya. ALBCOM - Algorismia, Bioinformàtica, Complexitat i Mètodes Formals

مصطلحات موضوعية: Àrees temàtiques de la UPC::Informàtica::Informàtica teòrica, Tree automata, Tree homomorphisms, Hom problem

وصف الملف: 39 p.; application/pdf

Relation: LSI-09-22-R; Godoy, G., Giménez, O., Ramos, L., Álvarez, C. "The HOM problem is decidable". 2009.; http://hdl.handle.net/2117/87972

الاتاحة: http://hdl.handle.net/2117/87972

المؤلفون: Creus López, Carles, Gascón Caro, Adrià, Godoy Balil, Guillem, Ramos, Lander

المساهمون: Universitat Politècnica de Catalunya. Departament de Llenguatges i Sistemes Informàtics, Universitat Politècnica de Catalunya. ALBCOM - Algorismia, Bioinformàtica, Complexitat i Mètodes Formals

مصطلحات موضوعية: Àrees temàtiques de la UPC::Informàtica::Informàtica teòrica, HOM problem, Tree automata, Decision problem, Statistical decision, Tree homomorphisms, Problema de decisió

وصف الملف: 10 p.

Relation: Creus, C. [et al.]. The HOM problem is EXPTIME-complete. A: IEEE Logic in Computer Science. "Proceedings of the 2012 27th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2012". 2012, p. 255-264.; http://hdl.handle.net/2117/19252

الاتاحة: http://hdl.handle.net/2117/19252
https://doi.org/10.1109/LICS.2012.36

المؤلفون: Adria Gascon Caro, Guillem Godoy, Lander Ramos, Carles Creus

المساهمون: Universitat Politècnica de Catalunya. Departament de Ciències de la Computació, Universitat Politècnica de Catalunya. ALBCOM - Algorismia, Bioinformàtica, Complexitat i Mètodes Formals, Universitat Politècnica de Catalunya. Departament de Llenguatges i Sistemes Informàtics

المصدر: UPCommons. Portal del coneixement obert de la UPC
Universitat Politècnica de Catalunya (UPC)
Recercat. Dipósit de la Recerca de Catalunya
instname

مصطلحات موضوعية: Class (set theory), Màquines, Teoria de, Logic in computer science, General Computer Science, Computer science, General Mathematics, EXPTIME, Transducers, HOM problem, Library science, Statistical decision, Machine theory, Tree automata, Combinatorics, Tree homomorphism, Tree homomorphisms, Complexitat computacional, Mathematics, Discrete mathematics, Term (logic), Homomorphisms, Regular languages, Decidability, Computational complexity, Formal languages, Decision problem, TheoryofComputation_MATHEMATICALLOGICANDFORMALLANGUAGES, Informàtica::Informàtica teòrica [Àrees temàtiques de la UPC], TheoryofComputation_LOGICSANDMEANINGSOFPROGRAMS, Homomorphism, Rewriting, Tree (set theory), Problema de decisió, Llenguatges formals, Computer Science::Formal Languages and Automata Theory

وصف الملف: application/pdf

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::9c2d09bc938a3748cdc555673471f9e3
http://hdl.handle.net/2117/19252

المؤلفون: Andreas Maletti and Andreea-Teodora Nász and Erik Paul, Maletti, Andreas, Nász, Andreea-Teodora, Paul, Erik

مصطلحات الفهرس: Weighted Tree Automaton, Decision Problem, Subtree Equality Constraint, Tree Homomorphism, HOM-Problem, Weighted Tree Grammar, Weighted HOM-Problem, InProceedings, Text, doc-type:ResearchArticle, publishedVersion

URL: https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.STACS.2024.51
Is Part Of LIPIcs, Volume 289, 41st International Symposium on Theoretical Aspects of Computer Science (STACS 2024)

المؤلفون: Universitat Politècnica de Catalunya. Departament de Llenguatges i Sistemes Informàtics, Universitat Politècnica de Catalunya. ALBCOM - Algorismia, Bioinformàtica, Complexitat i Mètodes Formals, Creus López, Carles, Gascón Caro, Adrià, Godoy Balil, Guillem, Ramos, Lander

مصطلحات الفهرس: Àrees temàtiques de la UPC::Informàtica::Informàtica teòrica, HOM problem, Tree automata, Decision problem, Statistical decision, Tree homomorphisms, Problema de decisió, Conference report

URL: http://hdl.handle.net/2117/19252

المؤلفون: Universitat Politècnica de Catalunya. Departament de Matemàtiques, Universitat Politècnica de Catalunya. Departament de Llenguatges i Sistemes Informàtics, Universitat Politècnica de Catalunya. ALBCOM - Algorismia, Bioinformàtica, Complexitat i Mètodes Formals, Godoy, Guillem, Giménez, Omer, Ramos Garrido, Lander, Álvarez Faura, M. del Carme

مصطلحات الفهرس: Àrees temàtiques de la UPC::Informàtica::Informàtica teòrica, Tree automata, Tree homomorphisms, Hom problem, External research report

URL: http://hdl.handle.net/2117/87972
LSI-09-22-R