Carlos Lombardi will be defending his PhD thesis\u00a0Friday 7 November at 11AM in room E24 at the Departamento de Computaci\u00f3n, FCEyN, UBA.<\/p>\n
Directores argentinos: Dr. Alejandro R\u00edos, Dr. Eduardo Bonelli<\/p>\n
Director franc\u00e9s: Dra. Delia Kesner<\/p>\n
Jurados:
\nDr. Mauricio Ayala Rinc\u00f3n (Universidad de Brasilia)
\nDr. Alexandre Miquel (Universidad de Par\u00eds)
\nDr. Nazareno Aguirre (Universidad Nacional de R\u00edo Cuarto)<\/p>\n
T\u00edtulo: Espacios de reducci\u00f3n en sistemas de reescritura no-secuenciales\u00a0e infinitarios<\/p>\n
Resumen:
\nEn esta tesis estudiamos distintos aspectos ligados al espacio de
\nreducci\u00f3n de diversos sistemas de reescritura.
\nLos sistemas abarcados presentan caracter\u00edsticas que hacen que el
\nestudio de sus espacios de reducci\u00f3n diste de ser una tarea sencilla.<\/p>\n
Las principales contribuciones son:
\n(1) se define una estrategia de reducci\u00f3n multipaso para el Pure Pattern
\nCalculus, un c\u00e1lculo con patrones no-secuencial, y se demuestra que
\ndicha estrategia es normalizante;
\n(2) se propone un criterio para formalizar el concepto de reducci\u00f3n
\nstandard en el Linear Substitution Calculus, un c\u00e1lculo de sustituciones
\nexpl\u00edcitas cuyas reducciones se consideran m\u00f3dulo una relaci\u00f3n de
\nequivalencia sobre su conjunto de t\u00e9rminos, obteni\u00e9ndose un resultado de
\nunicidad de reducciones standard para el criterio definido; y
\n(3) se caracteriza la equivalencia entre reducciones para los sistemas
\nde reescritura de t\u00e9rminos infinitarios de primer orden y lineales a
\nizquierda, utiliz\u00e1ndose esta caracterizaci\u00f3n para desarrollar una
\ndemostraci\u00f3n alternativa del resultado de compresi\u00f3n.<\/p>\n
Destacamos el uso de modelos gen\u00e9ricos de sistemas de reescritura: se
\nutiliza una formulaci\u00f3n de Sistemas Abstractos de Reescritura para
\nestudiar el Pure Pattern Calculus y el Linear Substitution Calculus, y
\nun modelo basado en Proof Terms para estudiar la reescritura
\ninfinitaria. Esta tesis incluye asimismo extensiones de los dos modelos
\ngen\u00e9ricos utilizados, que pueden considerarse contribuciones adicionales
\nde la misma.Carlos Lombardi will be defending his PhD thesis\u00a0Friday 7 November at 11AM in room E24 at the Departamento de Computaci\u00f3n, FCEyN, UBA.<\/p>\n
Directores argentinos: Dr. Alejandro R\u00edos, Dr. Eduardo Bonelli<\/p>\n
Director franc\u00e9s: Dra. Delia Kesner<\/p>\n
Jurados:
\nDr. Mauricio Ayala Rinc\u00f3n (Universidad de Brasilia)
\nDr. Alexandre Miquel (Universidad de Par\u00eds)
\nDr. Nazareno Aguirre (Universidad Nacional de R\u00edo Cuarto)<\/p>\n
T\u00edtulo: Espacios de reducci\u00f3n en sistemas de reescritura no-secuenciales\u00a0e infinitarios<\/p>\n
Resumen:
\nEn esta tesis estudiamos distintos aspectos ligados al espacio de
\nreducci\u00f3n de diversos sistemas de reescritura.
\nLos sistemas abarcados presentan caracter\u00edsticas que hacen que el
\nestudio de sus espacios de reducci\u00f3n diste de ser una tarea sencilla.<\/p>\n
Las principales contribuciones son:
\n(1) se define una estrategia de reducci\u00f3n multipaso para el Pure Pattern
\nCalculus, un c\u00e1lculo con patrones no-secuencial, y se demuestra que
\ndicha estrategia es normalizante;
\n(2) se propone un criterio para formalizar el concepto de reducci\u00f3n
\nstandard en el Linear Substitution Calculus, un c\u00e1lculo de sustituciones
\nexpl\u00edcitas cuyas reducciones se consideran m\u00f3dulo una relaci\u00f3n de
\nequivalencia sobre su conjunto de t\u00e9rminos, obteni\u00e9ndose un resultado de
\nunicidad de reducciones standard para el criterio definido; y
\n(3) se caracteriza la equivalencia entre reducciones para los sistemas
\nde reescritura de t\u00e9rminos infinitarios de primer orden y lineales a
\nizquierda, utiliz\u00e1ndose esta caracterizaci\u00f3n para desarrollar una
\ndemostraci\u00f3n alternativa del resultado de compresi\u00f3n.<\/p>\n
Destacamos el uso de modelos gen\u00e9ricos de sistemas de reescritura: se
\nutiliza una formulaci\u00f3n de Sistemas Abstractos de Reescritura para
\nestudiar el Pure Pattern Calculus y el Linear Substitution Calculus, y
\nun modelo basado en Proof Terms para estudiar la reescritura
\ninfinitaria. Esta tesis incluye asimismo extensiones de los dos modelos
\ngen\u00e9ricos utilizados, que pueden considerarse contribuciones adicionales
\nde la misma.Carlos Lombardi will be defending his PhD thesis\u00a0Friday 7 November at 11AM in room E24 at the Departamento de Computaci\u00f3n, FCEyN, UBA.<\/p>\n
Directores argentinos: Dr. Alejandro R\u00edos, Dr. Eduardo Bonelli<\/p>\n
Director franc\u00e9s: Dra. Delia Kesner<\/p>\n
Jurados:
\nDr. Mauricio Ayala Rinc\u00f3n (Universidad de Brasilia)
\nDr. Alexandre Miquel (Universidad de Par\u00eds)
\nDr. Nazareno Aguirre (Universidad Nacional de R\u00edo Cuarto)<\/p>\n
T\u00edtulo: Espacios de reducci\u00f3n en sistemas de reescritura no-secuenciales\u00a0e infinitarios<\/p>\n
Resumen:
\nEn esta tesis estudiamos distintos aspectos ligados al espacio de
\nreducci\u00f3n de diversos sistemas de reescritura.
\nLos sistemas abarcados presentan caracter\u00edsticas que hacen que el
\nestudio de sus espacios de reducci\u00f3n diste de ser una tarea sencilla.<\/p>\n
Las principales contribuciones son:
\n(1) se define una estrategia de reducci\u00f3n multipaso para el Pure Pattern
\nCalculus, un c\u00e1lculo con patrones no-secuencial, y se demuestra que
\ndicha estrategia es normalizante;
\n(2) se propone un criterio para formalizar el concepto de reducci\u00f3n
\nstandard en el Linear Substitution Calculus, un c\u00e1lculo de sustituciones
\nexpl\u00edcitas cuyas reducciones se consideran m\u00f3dulo una relaci\u00f3n de
\nequivalencia sobre su conjunto de t\u00e9rminos, obteni\u00e9ndose un resultado de
\nunicidad de reducciones standard para el criterio definido; y
\n(3) se caracteriza la equivalencia entre reducciones para los sistemas
\nde reescritura de t\u00e9rminos infinitarios de primer orden y lineales a
\nizquierda, utiliz\u00e1ndose esta caracterizaci\u00f3n para desarrollar una
\ndemostraci\u00f3n alternativa del resultado de compresi\u00f3n.<\/p>\n
Destacamos el uso de modelos gen\u00e9ricos de sistemas de reescritura: se
\nutiliza una formulaci\u00f3n de Sistemas Abstractos de Reescritura para
\nestudiar el Pure Pattern Calculus y el Linear Substitution Calculus, y
\nun modelo basado en Proof Terms para estudiar la reescritura
\ninfinitaria. Esta tesis incluye asimismo extensiones de los dos modelos
\ngen\u00e9ricos utilizados, que pueden considerarse contribuciones adicionales
\nde la misma.<\/p>\n","protected":false},"excerpt":{"rendered":"
Carlos Lombardi will be defending his PhD thesis\u00a0Friday 7 November at 11AM in room E24 at the Departamento de Computaci\u00f3n, FCEyN, UBA. Directores argentinos: Dr. Alejandro R\u00edos, Dr. Eduardo Bonelli Director franc\u00e9s: Dra. Delia Kesner Jurados: Dr. Mauricio Ayala Rinc\u00f3n (Universidad de Brasilia) Dr. Alexandre Miquel (Universidad de Par\u00eds) Dr. Nazareno Aguirre (Universidad Nacional de … Continue reading First LIA doctoral thesis in cotutelle — Defense set for 7\/Nov\/2014<\/span><\/a><\/p>\n","protected":false},"author":1,"featured_media":0,"comment_status":"closed","ping_status":"closed","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[1],"tags":[],"class_list":["post-665","post","type-post","status-publish","format-standard","hentry","category-uncategorized"],"_links":{"self":[{"href":"http:\/\/www.irp-sinfin.org\/index.php?rest_route=\/wp\/v2\/posts\/665","targetHints":{"allow":["GET"]}}],"collection":[{"href":"http:\/\/www.irp-sinfin.org\/index.php?rest_route=\/wp\/v2\/posts"}],"about":[{"href":"http:\/\/www.irp-sinfin.org\/index.php?rest_route=\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"http:\/\/www.irp-sinfin.org\/index.php?rest_route=\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"http:\/\/www.irp-sinfin.org\/index.php?rest_route=%2Fwp%2Fv2%2Fcomments&post=665"}],"version-history":[{"count":0,"href":"http:\/\/www.irp-sinfin.org\/index.php?rest_route=\/wp\/v2\/posts\/665\/revisions"}],"wp:attachment":[{"href":"http:\/\/www.irp-sinfin.org\/index.php?rest_route=%2Fwp%2Fv2%2Fmedia&parent=665"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"http:\/\/www.irp-sinfin.org\/index.php?rest_route=%2Fwp%2Fv2%2Fcategories&post=665"},{"taxonomy":"post_tag","embeddable":true,"href":"http:\/\/www.irp-sinfin.org\/index.php?rest_route=%2Fwp%2Fv2%2Ftags&post=665"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}