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. https://doi.org/10.4204/EPTCS.200.3
Por favor, use este identificador para citar o enlazar este ítem: http://hdl.handle.net/10251/64921
Título: | Synthesis of models for order-sorted first-order theories using linear algebra and constraint solving | |
Autor: | ||
Entidad UPV: |
|
|
Fecha difusión: |
|
|
Resumen: |
[EN] 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 ...[+]
|
|
Palabras clave: |
|
|
Derechos de uso: | Reconocimiento (by) | |
Fuente: |
|
|
DOI: |
|
|
Versión del editor: | http://dx.doi.org/10.4204/EPTCS.200.3 | |
Código del Proyecto: |
|
|
Agradecimientos: |
|
|
Tipo: |
|