Buscar
Mostrando ítems 1-2 de 2
Capítulo de Libro
Deducción y generación de modelos de cardinalidad finita
(Ediciones de la Universidad de Castilla la Mancha, 2006)
Presentamos un procedimiento de tablas semánticas distinto de las estándar en el tratamiento dado a las sentencias de la clase δ, proponiendo modificaciones de esta regla que eviten la generación de ramas infinitas. Las ...
Capítulo de Libro
Resolución abductiva de anáforas pronominales
(Fénix Editora; Universidad de Sevilla, 2010)