scientific article
From MaRDI portal
Publication:2712583
zbMath0971.68023MaRDI QIDQ2712583
Publication date: 7 November 2001
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (7)
Verifying the correctness and amortized complexity of a union-find implementation in separation logic with time credits ⋮ A program logic for resources ⋮ An arithmetic for non-size-increasing polynomial-time computation ⋮ Program equivalence in linear contexts ⋮ Two decades of automatic amortized resource analysis ⋮ Implicit computation complexity in higher-order programming languages ⋮ Syntactic control of concurrency
Uses Software
This page was built for publication:
