Presentation
Multiset Relations: A Tool for Proving Termination
Author/s | Ruiz Reina, José Luis
Alonso Jiménez, José Antonio Hidalgo Doblado, María José Martín Mateos, Francisco Jesús |
Department | Universidad de Sevilla. Departamento de Ciencias de la Computación e Inteligencia Artificial |
Publication Date | 2000 |
Deposit Date | 2021-04-12 |
Published in |
|
Funding agencies | Ministerio de Educación y Ciencia (MEC). España |
Project ID. | PB96-0098-C04-04
PB96-1345 |
Citation | Ruiz Reina, J.L., Alonso Jiménez, J.A., Hidalgo Doblado, M.J. y Martín Mateos, F.J. (2000). Multiset Relations: A Tool for Proving Termination. En ACL2 Workshop 2000 Austin, Texas: University of Texas. |
Files | Size | Format | View | Description |
---|---|---|---|---|
Multiset relations A tool for ... | 271.6Kb | [PDF] | View/ | |