scientific article; zbMATH DE number 5033841
From MaRDI portal
Publication:5472880
zbMath1098.68025MaRDI QIDQ5472880
Publication date: 19 June 2006
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (10)
Constructing a binary tree from its traversals by reversible recursion and iteration ⋮ Determinization of conditional term rewriting systems ⋮ Semi-inversion of Conditional Constructor Term Rewriting Systems ⋮ Tail recursion transformation for invertible functions ⋮ Towards a dereversibilizer: fewer asserts, statically ⋮ Reversible computing from a programming language perspective ⋮ Inverse Unfold Problem and Its Heuristic Solving ⋮ Determinization of inverted grammar programs via context-free expressions ⋮ Completion after Program Inversion of Injective Functions ⋮ Characterizing Compatible View Updates in Syntactic Bidirectionalization
This page was built for publication: