Zobrazeno 1 - 10
of 29
pro vyhledávání: '"Bove, Ana"'
Publikováno v:
EPTCS 43, 2010
This volume contains the proceedings of the Workshop on Partiality and Recursion in Interactive Theorem Provers (PAR 2010) which took place on July 15 in Edinburgh, UK. This workshop was held as a satellite workshop of the International Conference on
Externí odkaz:
http://arxiv.org/abs/1012.4555
Publikováno v:
In Electronic Notes in Theoretical Computer Science 11 July 2016 323:109-124
Autor:
Bove, Ana
Publikováno v:
In Electronic Notes in Theoretical Computer Science 8 August 2009 249:61-74
Autor:
Morató Bove, Ana Inés
Publikováno v:
REDI
Agencia Nacional de Investigación e Innovación
instacron:Agencia Nacional de Investigación e Innovación
Agencia Nacional de Investigación e Innovación
instacron:Agencia Nacional de Investigación e Innovación
Se presenta un análisis del proceso de aprobación del Presupuesto Nacional desde la teoría de la elección pública, a partir de la lectura de las actas de sesiones de la Comisión de Hacienda de la Cámara de Representantes durante la discusión
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od______3056::97b81549158e9dc6242235dfc9818958
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Publikováno v:
Mohamed, Otmane Aït; Muñoz, César; Tahar, Sofiène (ed.), Theorem Proving in Higher Order Logics, 21st International Conference, TPHOLs 2008, Montreal, Canada, August 18-21, 2008. Proceedings, pp. 102-117
Mohamed, Otmane Aït; Muñoz, César; Tahar, Sofiène (ed.), Theorem Proving in Higher Order Logics, 21st International Conference, TPHOLs 2008, Montreal, Canada, August 18-21, 2008. Proceedings, 102-117. Berlin : Springer
STARTPAGE=102;ENDPAGE=117;ISSN=0302-9743;TITLE=Mohamed, Otmane Aït; Muñoz, César; Tahar, Sofiène (ed.), Theorem Proving in Higher Order Logics, 21st International Conference, TPHOLs 2008, Montreal, Canada, August 18-21, 2008. Proceedings
Mohamed, Otmane Aït; Muñoz, César; Tahar, Sofiène (ed.), Theorem Proving in Higher Order Logics, 21st International Conference, TPHOLs 2008, Montreal, Canada, August 18-21, 2008. Proceedings, 102-117. Berlin : Springer
STARTPAGE=102;ENDPAGE=117;ISSN=0302-9743;TITLE=Mohamed, Otmane Aït; Muñoz, César; Tahar, Sofiène (ed.), Theorem Proving in Higher Order Logics, 21st International Conference, TPHOLs 2008, Montreal, Canada, August 18-21, 2008. Proceedings
Item does not contain fulltext Theorem Proving in Higher Order Logics, 21st International Conference TPHOLs 2008, 18 augustus 2008
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::b63625d293d5955cd1d1ca6a54731e53
https://hdl.handle.net/2066/72722
https://hdl.handle.net/2066/72722
Autor:
Bove, Ana, Capretta, Venanzio
Publikováno v:
Typed Lambda Calculi and Applications, TLCA 2007, 70-83. Berlin ; New York : Springer
STARTPAGE=70;ENDPAGE=83;TITLE=Typed Lambda Calculi and Applications, TLCA 2007
Typed Lambda Calculi and Applications, TLCA 2007, pp. 70-83
STARTPAGE=70;ENDPAGE=83;TITLE=Typed Lambda Calculi and Applications, TLCA 2007
Typed Lambda Calculi and Applications, TLCA 2007, pp. 70-83
Item does not contain fulltext
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::6403a480cb98c0e842327ed5718f9e80
http://hdl.handle.net/2066/34975
http://hdl.handle.net/2066/34975
Autor:
Arbilla, Laura, Bermúdez, Laura, Betarte Guidi, Gustavo, Bove, Ana, Cabezas, Juan José, Cancela, Héctor, Carpani, Fernando, Cornes, Cristina, Giménez, Eduardo, Gonnet, Gastón, Goyoaga, Joaquín, González, Juan, Holz, Ida, Ruggia, Raúl, Tasistro, Alvaro, Urquhart, María E, Vidart, Jorge, Viola, Alfredo
Publikováno v:
COLIBRI
Universidad de la República
instacron:Universidad de la República
Universidad de la República
instacron:Universidad de la República
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od______3056::e376e6a003f2a424bb6942178a775a54
Autor:
Bove, Ana
Publikováno v:
COLIBRI
Universidad de la República
instacron:Universidad de la República
Universidad de la República
instacron:Universidad de la República
We present an experiment in formally describing a programming language and its properties in constructive type theory. By constructive type theory we understand primarily the formulation of Martin Löf's set theory. Constructive type theory can also
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od______3056::dc5c26561c72a9e885baee41ea2a98cd
Publikováno v:
Foundations of Software Science & Computational Structures (9783642287282); 2012, p104-118, 15p