- -

Synthesis of models for order-sorted first-order theories using linear algebra and constraint solving

RiuNet: Repositorio Institucional de la Universidad Politécnica de Valencia

Compartir/Enviar a

Citas

Estadísticas

Synthesis of models for order-sorted first-order theories using linear algebra and constraint solving

Mostrar el registro completo del ítem

Lucas Alba, S. (2015). Synthesis of models for order-sorted first-order theories using linear algebra and constraint solving. Electronic Proceedings in Theoretical Computer Science. 200:32-47. doi:10.4204/EPTCS.200.3

Por favor, use este identificador para citar o enlazar este ítem: http://hdl.handle.net/10251/64921

Ficheros en el ítem

Metadatos del ítem

Título: Synthesis of models for order-sorted first-order theories using linear algebra and constraint solving
Autor:
Entidad UPV: Universitat Politècnica de València. Departamento de Sistemas Informáticos y Computación - Departament de Sistemes Informàtics i Computació
Fecha difusión:
Resumen:
Recent developments in termination analysis for declarative programs emphasize the use of appropriate models for the logical theory representing the program at stake as a generic approach to prove termination of declarative ...[+]
Palabras clave: Linear algebra , Logical models , Order-sorted first-order logic , Program Termination
Derechos de uso: Reconocimiento (by)
Fuente:
Electronic Proceedings in Theoretical Computer Science. (issn: 2075-2180 )
DOI: 10.4204/EPTCS.200.3
Versión del editor: http://dx.doi.org/10.4204/EPTCS.200.3
Tipo: Artículo

Este ítem aparece en la(s) siguiente(s) colección(ones)

Mostrar el registro completo del ítem