Showing 1 - 7 results of 7 for search 'Pagano, Miguel María', query time: 0.03s Refine Results
  1. 1
    A certified extension of the Krivine machine for a call-by-name higher-order imperative language
    article biblioteca
    UNC AR


    Saved in:


  2. 2
    Representación semántica de lenguaje natural en el dominio de fórmulas lógicas
    by Piloni, Diego
    Published 2018
    Other Authors: “...Pagano, Miguel María...”
    bachelorThesis biblioteca
    UNC AR


    Saved in:

  3. 3
    Soporte para ARM en un compilador verificado
    by Arranz Olmos, Santiago
    Published 2022-12
    Other Authors: “...Pagano, Miguel María...”
    Fil: Fil: Arranz Olmos, Santiago. Universidad Nacional de Córdoba. Facultad de Matemática, Astronomía, Física y Computación; Argentina. biblioteca
    UNC AR


    Saved in:

  4. 4
    Automatización para el entorno Isabelle / ZF
    by Steinberg, Matías Uriel
    Published 2021-03
    Other Authors: “...Pagano, Miguel María...”
    publishedVersion biblioteca
    UNC AR


    Saved in:

  5. 5
    Biortogonalidad para corrección de compiladores y adecuación computacional
    by Gadea, Alejandro Emilio
    Published 2019
    Other Authors: “...Pagano, Miguel María...”
    info:eu-repo/semantics/publishedVersion biblioteca
    UNC AR


    Saved in:

  6. 6
    Formalización de fundaciones de la matemática y compiladores correctos por construcción
    by Gunther, Emmanuel
    Published 2019
    Other Authors: “...Pagano, Miguel María...”
    info:eu-repo/semantics/publishedVersion biblioteca
    UNC AR


    Saved in:

  7. 7
    Estudio de semántica categórica para lenguajes Algol-Like
    by Gadea, Alejandro Emilio
    Published 2013-09
    Other Authors: “...Pagano, Miguel María...”
    bachelorThesis biblioteca
    UNC AR


    Saved in:

Search Tools: Get RSS Feed — Email this Search