{"id":4550,"date":"1994-01-01T00:00:00","date_gmt":"1994-01-01T00:00:00","guid":{"rendered":"https:\/\/www.deberes.net\/tesis\/1994\/01\/01\/algoritmos-de-unificacion-ecuacional-en-teorias-xerais\/"},"modified":"1994-01-01T00:00:00","modified_gmt":"1994-01-01T00:00:00","slug":"algoritmos-de-unificacion-ecuacional-en-teorias-xerais","status":"publish","type":"post","link":"https:\/\/www.deberes.net\/tesis\/matematicas\/algoritmos-de-unificacion-ecuacional-en-teorias-xerais\/","title":{"rendered":"Algoritmos de unificacion ecuacional en teorias xerais"},"content":{"rendered":"<h2>Tesis doctoral de <strong> Luis Cachafeiro Chamosa <\/strong><\/h2>\n<p>Se presenta un nuevo algoritmo universal de e-unificacion que es completo en teorias generales, utilizando el esquema de unificacion de pares de substituciones. Este metodo es una generalizacion de narrowing para conservar la completitud en aquellas teorias para las que este no es completo.  se prueba que es tambien una especializacion de relaxed narrowing (dougherty y johann) y se comprueba, mediante una implementacion en caml, que reduce un numero considerable de soluciones redundantes y detecta rapidamente la no e-unificabilidad.  se introducen nuevas mejoras en el metodo y se muestra favorable en la comparacion con los otros metodos generales de unificacion ecuacional se incorporan los programas en caml, los resultados y otros resultados originales en este campo.<\/p>\n<p>&nbsp;<\/p>\n<h3>Datos acad\u00e9micos de la tesis doctoral \u00ab<strong>Algoritmos de unificacion ecuacional en teorias xerais<\/strong>\u00ab<\/h3>\n<ul>\n<li><strong>T\u00edtulo de la tesis:<\/strong>\u00a0 Algoritmos de unificacion ecuacional en teorias xerais <\/li>\n<li><strong>Autor:<\/strong>\u00a0 Luis Cachafeiro Chamosa <\/li>\n<li><strong>Universidad:<\/strong>\u00a0 A coru\u00f1a<\/li>\n<li><strong>Fecha de lectura de la tesis:<\/strong>\u00a0 01\/01\/1994<\/li>\n<\/ul>\n<p>&nbsp;<\/p>\n<h3>Direcci\u00f3n y tribunal<\/h3>\n<ul>\n<li><strong>Director de la tesis<\/strong>\n<ul>\n<li> Freire Nistal Jos\u00e9 Luis<\/li>\n<\/ul>\n<\/li>\n<li><strong>Tribunal<\/strong>\n<ul>\n<li>Presidente del tribunal: Jos\u00e9 Luis Mat\u00e9 Hern\u00e1ndez <\/li>\n<li>Jos\u00e9 Alberto Ja\u00e9n Gallego (vocal)<\/li>\n<li>Juan Pazos Sierra (vocal)<\/li>\n<li>Miguel Lopez Lopez (vocal)<\/li>\n<\/ul>\n<\/li>\n<\/ul>\n<p>&nbsp;<\/p>\n","protected":false},"excerpt":{"rendered":"<p>Tesis doctoral de Luis Cachafeiro Chamosa Se presenta un nuevo algoritmo universal de e-unificacion que es completo en teorias generales, [&hellip;]<\/p>\n","protected":false},"author":1,"featured_media":0,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"site-sidebar-layout":"default","site-content-layout":"","ast-site-content-layout":"","site-content-style":"default","site-sidebar-style":"default","ast-global-header-display":"","ast-banner-title-visibility":"","ast-main-header-display":"","ast-hfb-above-header-display":"","ast-hfb-below-header-display":"","ast-hfb-mobile-header-display":"","site-post-title":"","ast-breadcrumbs-content":"","ast-featured-img":"","footer-sml-layout":"","theme-transparent-header-meta":"","adv-header-id-meta":"","stick-header-meta":"","header-above-stick-meta":"","header-main-stick-meta":"","header-below-stick-meta":"","astra-migrate-meta-layouts":"default","ast-page-background-enabled":"default","ast-page-background-meta":{"desktop":{"background-color":"var(--ast-global-color-4)","background-image":"","background-repeat":"repeat","background-position":"center center","background-size":"auto","background-attachment":"scroll","background-type":"","background-media":"","overlay-type":"","overlay-color":"","overlay-gradient":""},"tablet":{"background-color":"","background-image":"","background-repeat":"repeat","background-position":"center center","background-size":"auto","background-attachment":"scroll","background-type":"","background-media":"","overlay-type":"","overlay-color":"","overlay-gradient":""},"mobile":{"background-color":"","background-image":"","background-repeat":"repeat","background-position":"center center","background-size":"auto","background-attachment":"scroll","background-type":"","background-media":"","overlay-type":"","overlay-color":"","overlay-gradient":""}},"ast-content-background-meta":{"desktop":{"background-color":"var(--ast-global-color-5)","background-image":"","background-repeat":"repeat","background-position":"center center","background-size":"auto","background-attachment":"scroll","background-type":"","background-media":"","overlay-type":"","overlay-color":"","overlay-gradient":""},"tablet":{"background-color":"var(--ast-global-color-5)","background-image":"","background-repeat":"repeat","background-position":"center center","background-size":"auto","background-attachment":"scroll","background-type":"","background-media":"","overlay-type":"","overlay-color":"","overlay-gradient":""},"mobile":{"background-color":"var(--ast-global-color-5)","background-image":"","background-repeat":"repeat","background-position":"center center","background-size":"auto","background-attachment":"scroll","background-type":"","background-media":"","overlay-type":"","overlay-color":"","overlay-gradient":""}},"footnotes":""},"categories":[18576,2809,1890,13880,126,2808],"tags":[10525,18602,8091,4012,18601,18603],"class_list":["post-4550","post","type-post","status-publish","format-standard","hentry","category-a-coruna","category-algebra","category-ciencia-de-los-ordenadores","category-informatica","category-matematicas","category-teoria-de-categorias","tag-freire-nistal-jose-luis","tag-jose-alberto-jaen-gallego","tag-jose-luis-mate-hernandez","tag-juan-pazos-sierra","tag-luis-cachafeiro-chamosa","tag-miguel-lopez-lopez"],"_links":{"self":[{"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/posts\/4550","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/comments?post=4550"}],"version-history":[{"count":0,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/posts\/4550\/revisions"}],"wp:attachment":[{"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/media?parent=4550"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/categories?post=4550"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/tags?post=4550"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}