( en | de | ru )

 

Disambiguierung von "Ayala-Rincón, Mauricio"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Checking Overlaps of Nominal Rewriting Rules.

, , , und . LSFA, Volume 323 von Electronic Notes in Theoretical Computer Science, Seite 39-56. Elsevier, (2015)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Mauricio Ayala-Rincón

Carlos Rincón

Ana Colmenares Rincón

Sonia Rincón Pratt

Daniel Rincón Martínez

 

Weitere Publikationen von Autoren mit dem selben Namen

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