Functional and Logic Programming
From MaRDI portal
Publication:5308028
DOI10.1007/b96926zbMath1122.68394OpenAlexW2506581943MaRDI QIDQ5308028
Publication date: 25 September 2007
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/b96926
Related Items (10)
On reversible Turing machines and their function universality ⋮ Fundamentals of reversible flowchart languages ⋮ Tail recursion transformation for invertible functions ⋮ Clean Reversible Simulations of Ranking Binary Trees ⋮ Unnamed Item ⋮ Reverse universal resolving algorithm and inverse driving ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Join inverse categories and reversible recursion ⋮ Polynomial-time inverse computation for accumulative functions with multiple data traversals
Uses Software
This page was built for publication: Functional and Logic Programming
