( en | de | ru )

 

Disambiguation of "Ayala-Rincón, Mauricio"

Author of the publication

copydeleteadd this publication to your clipboard
A Grammar Compression Algorithm based on Induced Suffix Sorting.

, , , , and . CoRR, (2017)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Mauricio Ayala-Rincón

Carlos Rincón

Ana Colmenares Rincón

Sonia Rincón Pratt

Daniel Rincón Martínez

 

Other publications of authors with the same name

Selected Extended Papers of ITP 2017 - Preface., and . J. Autom. Reason., 63 (2): 319-321 (2019)Formalization of the Computational Theory of a Turing Complete Functional Language Model., , and . J. Autom. Reason., 66 (4): 1031-1063 (2022)Formalization of Algebraic Theorems in PVS (Invited Talk)., , , and . LPAR, volume 94 of EPiC Series in Computing, page 1-10. EasyChair, (2023)A Flexible Framework for Visualisation of Computational Properties of General Explicit Substitutions Calculi., , , and . LSFA, volume 269 of Electronic Notes in Theoretical Computer Science, page 41-54. Elsevier, (2010)A Formalisation of Nominal α-equivalence with A and AC Function Symbols., , , and . LSFA, volume 332 of Electronic Notes in Theoretical Computer Science, page 21-38. Elsevier, (2016)Preface., and . LSFA, volume 205 of Electronic Notes in Theoretical Computer Science, page 1-3. Elsevier, (2007)A Certified Functional Nominal C-Unification Algorithm., , , and . LOPSTR, volume 12042 of Lecture Notes in Computer Science, page 123-138. Springer, (2019)Heterogeneous Parallel Island Models., , , and . SSCI, page 1-8. IEEE, (2021)Reconfigurable Heterogeneous Parallel Island Models., , and . SSCI, page 1618-1625. IEEE, (2022)On the Computability of Relations on λ-Terms and Rice's Theorem - The Case of the Expansion Problem for Explicit Substitutions., and . LATIN, volume 8392 of Lecture Notes in Computer Science, page 202-213. Springer, (2014)