Publications

List of Publications::

Type Isomorphisms and Program Isomorphisms. Author: Carlos C. Martínez
AMS-MAA Joint Mathematics Meeting. San Antonio, TX, U.S.A. January 2006. In Abstracts of Papers Presented to the American Mathematical, Volume 27, Number 1. Abstract
Unification and Matching Modulo Type Isomorphism. Author: Carlos C. Martínez
AMS-MAA Joint Mathematics Meeting. Atlanta, GA, U.S.A., January 2005. In Abstracts of Papers Presented to the American Mathematical Society, Volume 26, Number 1, Issue 139. pp176. Abstract
Unification and Matching Modulo Type Isomorphism. Author: Dan Dougherty and Carlos C. Martínez
In Proceedings of II International Workshop of Higher Order Rewriting, Aachen, Germany, June 2004. Abstract in the Technical report of the Computer Science Department of RWTH Aachen, pp 65 – 71 Abstract
Notas en Unificación y Correspondencia de Orden Superior. Author: Carlos C. Martínez
In Proceedings of II Encuentro de Lógica y Ciencias de la Computación, Colombia, December 2002. Abstract

Algebraizable Non-normal Modal Logic. Author: Carlos C. Martínez
In Proceedings of XI Simposio Latinoamericano de Lógica Matemática, Mérida, Venezuela. Abstract in the Bulletin of Symbolic Logic, pp 510, 1999. Abstract
Commutation Lemma. Author: Carlos C. Martínez & Guillermo Ortiz R.
In Proceedings of XI Simposio Latinoamericano de Lógica Matemática, Mérida, Venezuela. Abstract in the Bulletin of Symbolic Logic, pp 511, 1999. Abstract
Algebrazibilidad de Lógicas Bimodales. Author: Carlos C. Martínez
Tesis de Magister en Ciencias Exactas Mención Matemáticas, Pontificia Universidad Católica de Chile, December 1997. Abstract
Lema de Conmutación. Author: Carlos C. Martínez & Guillermo Ortiz R.
Technical Report PUC/FM-97/10, Facultad de Matemáticas, Pontificia Universidad Católica de Chile, October 1997. Abstract

Please refer to the following documents for further details and complete research experiences description:: Invited Talks || Contributes Talks ||Notes and Others.