Mostrar el registro completo del ítem
Vidal, G. (2020). Reversible Computations in Logic Programming. Springer. 246-254. https://doi.org/10.1007/978-3-030-52482-1_15
Por favor, use este identificador para citar o enlazar este ítem: http://hdl.handle.net/10251/179209
Título: | Reversible Computations in Logic Programming | |
Autor: | ||
Entidad UPV: |
|
|
Fecha difusión: |
|
|
Resumen: |
[EN] In this work, we say that a computation is reversible if one can find a procedure to undo the steps of a standard (or forward) computation in a deterministic way. While logic programs are often invertible (e.g., one ...[+]
|
|
Derechos de uso: | Reserva de todos los derechos | |
ISBN: |
|
|
Fuente: |
|
|
DOI: |
|
|
Editorial: |
|
|
Versión del editor: | https://doi.org/10.1007/978-3-030-52482-1_15 | |
Título del congreso: |
|
|
Lugar del congreso: |
|
|
Fecha congreso: |
|
|
Serie: |
|
|
Código del Proyecto: |
|
|
Agradecimientos: |
This work is partially supported by the EU (FEDER) and the Spanish MCI/AEI under grants TIN2016-76843-C4-1-R/PID2019-104735RB-C41, by the Generalitat Valenciana under grant Prometeo/2019/098 (DeepTrust), and by the COST ...[+]
|
|
Tipo: |
|