Reversible computations in logic programming

DOI10.1007/978-3-030-52482-1_15OpenAlexW3041551479MaRDI QIDQ2039908

Germán Vidal

Publication date: 5 July 2021

Full work available at URL: https://doi.org/10.1007/978-3-030-52482-1_15

Mathematics Subject Classification ID

Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Quantum computation (81P68) Other nonclassical models of computation (68Q09)

Related Items (2)

Reversible debugging in logic programming ⋮ Reversible computing from a programming language perspective

This page was built for publication: Reversible computations in logic programming