Pages that link to "Item:Q882487"
From MaRDI portal
The following pages link to Deaccumulation techniques for improving provability (Q882487):
Displaying 4 items.
- Polynomial-time inverse computation for accumulative functions with multiple data traversals (Q526439) (← links)
- Verifying Procedural Programs via Constrained Rewriting Induction (Q5278212) (← links)
- Enhancing semantic bidirectionalization via shape bidirectionalizer plug-ins (Q5398330) (← links)
- Manipulating accumulative functions by swapping call-time and return-time computations (Q5398337) (← links)
