scientific article
From MaRDI portal
Publication:3149665
zbMath1018.68017MaRDI QIDQ3149665
Armin Kühnemann, Robert Glück, Kazuhiko Kakehi
Publication date: 30 September 2002
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (3)
Automatically Introducing Tail Recursion in CakeML ⋮ Deaccumulation techniques for improving provability ⋮ Polynomial-time inverse computation for accumulative functions with multiple data traversals
This page was built for publication:
