scientific article
From MaRDI portal
Publication:2723934
zbMath0964.68020MaRDI QIDQ2723934
Publication date: 8 July 2001
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Related Items (4)
Equivalence checking of two functional programs using inductive theorem provers ⋮ Deaccumulation techniques for improving provability ⋮ Folding left and right matters: Direct style, accumulators, and continuations ⋮ Correctness of Context-Moving Transformations for Term Rewriting Systems
This page was built for publication:
