scientific article; zbMATH DE number 1522991
From MaRDI portal
Publication:4511266
zbMath0971.68031MaRDI QIDQ4511266
Publication date: 30 October 2001
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (2)
Certifying Supercompilation for Martin-Löf’s Type Theory ⋮ Higher-level supercompilation as a metasystem transition
This page was built for publication:
