( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
A formalisation of nominal α-equivalence with A, C, and AC function symbols.

, , , , и . Theor. Comput. Sci., (2019)

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.

Mauricio Ayala-Rincón

Carlos Rincón

Ana Colmenares Rincón

Sonia Rincón Pratt

Bladimiro Rincón Orozco

 

Другие публикации лиц с тем же именем

On the Computability of Relations on λ-Terms and Rice's Theorem - The Case of the Expansion Problem for Explicit Substitutions., и . LATIN, том 8392 из Lecture Notes in Computer Science, стр. 202-213. Springer, (2014)Grammar Compression By Induced Suffix Sorting., , , , и . CoRR, (2020)Sorting Permutations by Reversals through a Hybrid Genetic Algorithm based on Breakpoint Elimination and Exact Solutions for Signed Permutations., и . CLEI Selected Papers, том 292 из Electronic Notes in Theoretical Computer Science, стр. 119-133. Elsevier, (2012)A Study of the Impact of Formulation of Cost Function in Task Mapping Problem on NoCs., , , , и . NorCAS, стр. 1-7. IEEE, (2020)A Provably Correct Floating-Point Implementation of Well Clear Avionics Concepts., , , и . FMCAD, стр. 237-246. IEEE, (2023)Using Rewriting-Logic Notation for Funcional Verification in Data-Stream Based Reconfigurable Computing., , , и . FDL, стр. 492-504. ECSI, (2003)Formalizing Factorization on Euclidean Domains and Abstract Euclidean Algorithms., , , и . LSFA/HCVS, том 402 из EPTCS, стр. 18-33. (2023)Equational Anti-Unification over Absorption Theories., , , и . CoRR, (2023)On Nominal Syntax and Permutation Fixed Points., , и . Log. Methods Comput. Sci., (2020)Formalization of Algebraic Theorems in PVS (Invited Talk)., , , и . LPAR, том 94 из EPiC Series in Computing, стр. 1-10. EasyChair, (2023)