scientific article; zbMATH DE number 1113861
From MaRDI portal
Publication:4375636
zbMath0889.68104MaRDI QIDQ4375636
Friederike Nickl, Anne Elisabeth Haxthausen
Publication date: 8 February 1998
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (6)
Order-Sorted Parameterization and Induction ⋮ Stability of termination and sufficient-completeness under pushouts via amalgamation ⋮ A language-independent proof system for full program equivalence ⋮ Amalgamation in the semantics of CASL ⋮ Relating CASL with other specification languages: the institution level. ⋮ Semantics of temporal classes
This page was built for publication: