scientific article

zbMath0624.68024MaRDI QIDQ3026326

Andrzej Tarlecki, Martin Wirsing

Publication date: 1986

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

inequalitiesfunctional languagealgebraic hierarchical specificationscontinuous abstract data typeuniversally quantified variables

Mathematics Subject Classification ID

Data structures (68P05)

Related Items

Quasi-varieties in abstract algebraic institutions, Combining data type and recursive process specifications using projection algebras, Rewrite, rewrite, rewrite, rewrite, rewrite, \dots, A logic of recursion