المؤلفون: Grzegorz Bobiński, Janusz Schmude

مصطلحات موضوعية: Pure mathematics, Algebra and Number Theory, 18E30, 16G20, 010102 general mathematics, 0103 physical sciences, FOS: Mathematics, 010307 mathematical physics, 0101 mathematics, Representation Theory (math.RT), 01 natural sciences, Mathematics - Representation Theory, Global dimension, Mathematics

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::26dbc4712c6a2e266c62366588daf0ee
http://arxiv.org/abs/1910.10417

المؤلفون: Mikołaj Bojańczyk and Janusz Schmude, Bojańczyk, Mikołaj, Schmude, Janusz

مصطلحات الفهرس: equivalence for mso transductions, bounded treewidth, Hilbert basis theorem, InProceedings, Text, doc-type:ResearchArticle, publishedVersion

URL: https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.MFCS.2020.19
Is Part Of LIPIcs, Volume 170, 45th International Symposium on Mathematical Foundations of Computer Science (MFCS 2020)

المؤلفون: Adrien Boiret and Radoslaw Piórkowski and Janusz Schmude, Boiret, Adrien, Piórkowski, Radoslaw, Schmude, Janusz

مصطلحات الفهرس: formal language, Hilbert's basis theorem, transducers, register automata, equivalence problem, unordered trees, MSO transformations, InProceedings, Text, doc-type:ResearchArticle, publishedVersion

URL: https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.FSTTCS.2018.48
Is Part Of LIPIcs, Volume 122, 38th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2018)

المؤلفون: Bojańczyk, Mikołaj, Schmude, Janusz

المساهمون: Mikołaj Bojańczyk and Janusz Schmude

مصطلحات موضوعية: equivalence for mso transductions, bounded treewidth, Hilbert basis theorem

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

Relation: Is Part Of LIPIcs, Volume 170, 45th International Symposium on Mathematical Foundations of Computer Science (MFCS 2020); https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.MFCS.2020.19

الاتاحة: https://doi.org/10.4230/LIPIcs.MFCS.2020.19
https://nbn-resolving.org/urn:nbn:de:0030-drops-127529
https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.MFCS.2020.19

المؤلفون: Boiret, Adrien, Piórkowski, Radoslaw, Schmude, Janusz

المساهمون: Adrien Boiret and Radoslaw Piórkowski and Janusz Schmude

مصطلحات موضوعية: formal language, Hilbert's basis theorem, transducers, register automata, equivalence problem, unordered trees, MSO transformations

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

Relation: Is Part Of LIPIcs, Volume 122, 38th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2018); https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.FSTTCS.2018.48

الاتاحة: https://doi.org/10.4230/LIPIcs.FSTTCS.2018.48
https://nbn-resolving.org/urn:nbn:de:0030-drops-99479
https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.FSTTCS.2018.48