scientific article; zbMATH DE number 1860658
From MaRDI portal
Publication:4790386
zbMath1049.68091MaRDI QIDQ4790386
Publication date: 2001
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (6)
My ADT Shrine ⋮ The HASCASL prologue: Categorical syntax and semantics of the partial \(\lambda\)-calculus ⋮ A formally grounded software specification method ⋮ Generalized interpolation in CASL ⋮ A Maude environment for CafeOBJ ⋮ CoFI
Uses Software
This page was built for publication:
