Mauricio Ayala-Rincón (Selection)

Ask others: ACM DL/Guide - - CSB - MetaPress - Google - Bing - Yahoo

54		Flávio L. C. de Moura, A. V. Barbosa, Mauricio Ayala-Rincón, Fairouz Kamareddine: A Flexible Framework for Visualisation of Computational Properties of General Explicit Substitutions Calculi. Electr. Notes Theor. Comput. Sci. 269: 41-54 (2011)
53		Mauricio Ayala-Rincón, Elaine Pimentel, Fairouz Kamareddine: Preface. Theor. Comput. Sci. 412(37): 4851-4852 (2011)
47		Daniel Lima Ventura, Mauricio Ayala-Rincón, Fairouz Kamareddine: Intersection Type Systems and Explicit Substitutions Calculi. WoLLIC 2010: 232-246
43		Daniel Lima Ventura, Mauricio Ayala-Rincón, Fairouz Kamareddine: Principal Typings in a Restricted Intersection Type System for Beta Normal Forms with De Bruijn Indices WRS 2009: 69-82
41		Mauricio Ayala-Rincón, Fairouz Kamareddine: Preface. Electr. Notes Theor. Comput. Sci. 256: 1-3 (2009)
39		Daniel Lima Ventura, Mauricio Ayala-Rincón, Fairouz Kamareddine: Explicit substitutions calculi with one step Eta-reduction decided explicitly. Logic Journal of the IGPL 17(6): 697-718 (2009)
38		Daniel Lima Ventura, Mauricio Ayala-Rincón, Fairouz Kamareddine: Principal Typings for Explicit Substitutions Calculi. CiE 2008: 567-578
34		Flávio L. C. de Moura, Mauricio Ayala-Rincón, Fairouz Kamareddine: Higher-Order Unification: A structural relation between Huet's method and the one based on explicit substitutions. J. Applied Logic 6(1): 72-108 (2008)
26		Flávio L. C. de Moura, Mauricio Ayala-Rincón, Fairouz Kamareddine: SUBSEXPL: a tool for simulating and comparing explicit substitutions calculi. Journal of Applied Non-Classical Logics 16(1-2): 119-150 (2006)
21		Mauricio Ayala-Rincón, Flávio L. C. de Moura, Fairouz Kamareddine: Comparing and implementing calculi of explicit substitutions with eta-reduction. Ann. Pure Appl. Logic 134(1): 5-41 (2005)
20		Flávio L. C. de Moura, Fairouz Kamareddine, Mauricio Ayala-Rincón: Second-Order Matching via Explicit Substitutions. LPAR 2004: 433-448
13		Fairouz Kamareddine, François Monin, Mauricio Ayala-Rincón: On Automating the Extraction of Programs from Termination Proofs. Revista Colombiana de Computación 4(2): (2003)
12		Fairouz Kamareddine, François Monin, Mauricio Ayala-Rincón: On automating the extraction of programs from proofs using product types. Electr. Notes Theor. Comput. Sci. 67: 233-253 (2002)
11		Mauricio Ayala-Rincón, Flávio L. C. de Moura, Fairouz Kamareddine: Comparing Calculi of Explicit Substitutions with Eta-reduction. Electr. Notes Theor. Comput. Sci. 67: 76-95 (2002)
6		Mauricio Ayala-Rincón, Fairouz Kamareddine: Unification via the lambda se-Style of Explicit Substitutions. Logic Journal of the IGPL 9(4): 489-523 (2001)
4		Mauricio Ayala-Rincón, Fairouz Kamareddine: Unification via se-style of explicit substitution. PPDP 2000: 163-174

Selection of 16 from 56 records - Mauricio Ayala-Rincón has 37 coauthors

Last update 2012-09-10 CET by the DBLP Team — Content released under the ODC-BY 1.0 license — See also our legal information page