scientific article
From MaRDI portal
Publication:2723407
zbMath0963.68523MaRDI QIDQ2723407
No author found.
Publication date: 5 July 2001
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (3)
Verification of Common Interprocedural Compiler Optimizations Using Visibly Pushdown Kleene Algebra ⋮ Modular SMT Proofs for Fast Reflexive Checking Inside Coq ⋮ Imperative LF Meta-Programming
Uses Software
This page was built for publication:
