Zobrazeno 1 - 10 of 21 pro vyhledávání: '"Miranda Perea, Favio Ezequiel"'
2
Report
Mendler-style Iso-(Co)inductive predicates: a strongly normalizing approach
Autor: Miranda-Perea, Favio Ezequiel, González-Huesca, Lourdes del Carmen
Publikováno v: EPTCS 81, 2012, pp. 30-46
We present an extension of the second-order logic AF2 with iso-style inductive and coinductive definitions specifically designed to extract programs from proofs a la Krivine-Parigot by means of primitive (co)recursion principles. Our logic includes p
Externí odkaz: http://arxiv.org/abs/1203.6158
Zobrazit plný text záznamu
3
Akademický článek
On Conceptual changes in Computer Assisted Proofs.
Autor: Miranda Perea, Favio Ezequiel, González Huesca, Lourdes del Carmen
Publikováno v: Almagest: International Journal for the History of Scientific Ideas; Nov2023, Vol. 14 Issue 2, p222-245, 24p
Zobrazit plný text záznamu
4
Akademický článek
Selective Memoization with Box Types
Autor: Miranda-Perea, Favio Ezequiel, González-Huesca, Lourdes Del Carmen
Publikováno v: In Electronic Notes in Theoretical Computer Science 2 December 2009 256:67-85
Zobrazit plný text záznamu
5
Akademický článek
Some Remarks on Type Systems for Course-of-value Recursion
Autor: Miranda-Perea, Favio Ezequiel
Publikováno v: In Electronic Notes in Theoretical Computer Science 4 August 2009 247:103-121
Zobrazit plný text záznamu
6
Akademický článek
A dual-context sequent calculus for the constructive modal logic S4.
Autor: Miranda-Perea, Favio Ezequiel, González Huesca, Lourdes del Carmen, Linares Arévalo, Pilar Selene
Publikováno v: Mathematical Structures in Computer Science; Oct2022, Vol. 32 Issue 9, p1205-1233, 29p
Zobrazit plný text záznamu
7
Fundamentos logicos del programa de razonamiento automatico Otter
Autor: Miranda Perea, Favio Ezequiel
Publikováno v: Universidad Nacional Autónoma de México
UNAM
Repositorio de Tesis DGBSDI, Dirección General de Bibliotecas y Servicios Digitales de Información, UNAM
Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::23280f48155d7a20a7ea956f9a26dc0e
https://ru.dgb.unam.mx/handle/DGB_UNAM/TES01000272882
Zobrazit plný text záznamu
8
Akademický článek
TWO EXTENSIONS OF SYSTEM F WITH (CO)ITERATION AND PRIMITIVE (CO)RECURSION PRINCIPLES.
Autor: Miranda-Perea, Favio Ezequiel
Publikováno v: RAIRO - Theoretical Informatics & Applications; 2009, Vol. 43 Issue 4, p703-766, 64p, 12 Diagrams
Zobrazit plný text záznamu
9
Periodical
Two extensions of system Fwith (co)iteration and primitive (co)recursion principles
Autor: Miranda-Perea, Favio Ezequiel
Publikováno v: RAIRO - Theoretical Informatics and Applications; October 2009, Vol. 43 Issue: 4 p703-766, 64p
Zobrazit plný text záznamu
10
Equivalencia en lenguajes de programación modales para S4
Autor: Estrada Zavaleta, Ximena
Publikováno v: Universidad Nacional Autónoma de México
UNAM
Repositorio de Tesis DGBSDI, Dirección General de Bibliotecas y Servicios Digitales de Información, UNAM
Externí odkaz: https://explore.openaire.eu/search/publication?articleId=od______3056::a477e7dd366277299ae916d3c18a274d
https://ru.dgb.unam.mx/handle/DGB_UNAM/TES01000807871
Zobrazit plný text záznamu

Vyhledávací nástroje:

Upřesnit hledání

Omezení vyhledávání
Plný text Recenzováno Digitální knihovna AV ČR
Zdroje