( en | de | ru )

 

Disambiguation of "Ayala-Rincón, Mauricio"

Author of the publication

copydeleteadd this publication to your clipboard
Checking Overlaps of Nominal Rewriting Rules.

, , , and . LSFA, volume 323 of Electronic Notes in Theoretical Computer Science, page 39-56. Elsevier, (2015)

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

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)Grammar Compression By Induced Suffix Sorting., , , , and . CoRR, (2020)Sorting Permutations by Reversals through a Hybrid Genetic Algorithm based on Breakpoint Elimination and Exact Solutions for Signed Permutations., and . CLEI Selected Papers, volume 292 of Electronic Notes in Theoretical Computer Science, page 119-133. Elsevier, (2012)A Provably Correct Floating-Point Implementation of Well Clear Avionics Concepts., , , and . FMCAD, page 237-246. IEEE, (2023)A Study of the Impact of Formulation of Cost Function in Task Mapping Problem on NoCs., , , , and . NorCAS, page 1-7. IEEE, (2020)Using Rewriting-Logic Notation for Funcional Verification in Data-Stream Based Reconfigurable Computing., , , and . FDL, page 492-504. ECSI, (2003)On Nominal Syntax and Permutation Fixed Points., , and . Log. Methods Comput. Sci., (2020)Formalizing Factorization on Euclidean Domains and Abstract Euclidean Algorithms., , , and . LSFA/HCVS, volume 402 of EPTCS, page 18-33. (2023)Equational Anti-Unification over Absorption Theories., , , and . CoRR, (2023)Formalization of Algebraic Theorems in PVS (Invited Talk)., , , and . LPAR, volume 94 of EPiC Series in Computing, page 1-10. EasyChair, (2023)