Propositional logic of second order. (Spanish)
Aguilar, M. (ed.) et al., Memorias de la Sociedad Matemática Mexicana. México: Sociedad Matemática Mexicana; México: Universidad Nacional Autónoma de México (UNAM). Aportaciones Matemáticas. Comunicaciones 40, 87-120 (2009).
1
Selective memoization with box types. (English)
Electron. Notes Theor. Comput. Sci. 256, 67-85 (2009).
2
Some remarks on type systems for course-of-value recursion. (English)
Electron. Notes Theor. Comput. Sci. 247, 103-121 (2009).
3
Two extensions of system ${\mathsf F}$ with (co)iteration and primitive (co)recursion principles. (English)
Rev. Inform. Teor. Apl. 43, No. 4, 703-766 (2009).
4
Two extensions of System F with (co)iteration and primitive (co)recursion principles. (English)
Theor. Inform. Appl. 43, No. 4, 703-766 (2009).
5
Realizability for monotone and clausular (Co)inductive definitions. (English)
Electron. Notes Theor. Comput. Sci. 123, 179-193 (2005).
6
A look at automated model building. (Spanish)
Hernández Lamoneda, Luis (ed.) et al., 32nd National Congress of the Mexican Mathematical Society, Guadalajara, Mexico, October 10‒17, 1999. Proceedings. México: Sociedad Matemática Mexicana (ISBN 968-36-8435-1/pbk). Aportaciones Mat., Comun. 27, 141-152 (2000).
7
Games in finite model theory. (Spanish)
Padilla, P. (ed.) et al., 31th national congress of the Mexican Mathematical Society, Hermosillo, Mexico, October 11-17, 1999. Proceedings. México: Sociedad Matemática Mexicana. Aportaciones Mat., Comun. 25, 285-302 (1999).
8
Automatic theorem proving and OTTER. (Spanish)
López Mimbela, J. A. (ed.) et al., 30th national congress of the Mexican Mathematical Society, Aguascalientes, México, September 28-October 2, 1997. Proceedings. México: Sociedad Matemática Mexicana. Aportaciones Mat., Comun. 22, 159-178 (1998).
9
Start
Contact
Print
General Help
