Ponencia
Multiset Relations: A Tool for Proving Termination
Autor/es | Ruiz Reina, José Luis
Alonso Jiménez, José Antonio Hidalgo Doblado, María José Martín Mateos, Francisco Jesús |
Departamento | Universidad de Sevilla. Departamento de Ciencias de la Computación e Inteligencia Artificial |
Fecha de publicación | 2000 |
Fecha de depósito | 2021-04-12 |
Publicado en |
|
Agencias financiadoras | Ministerio de Educación y Ciencia (MEC). España |
Identificador del proyecto | PB96-0098-C04-04
PB96-1345 |
Cita | 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. |
Ficheros | Tamaño | Formato | Ver | Descripción |
---|---|---|---|---|
Multiset relations A tool for ... | 271.6Kb | [PDF] | Ver/ | |