scientific article

From MaRDI portal

Publication:3707383

Jump to:navigation, search

zbMath0584.68038MaRDI QIDQ3707383

Bernhard Möller, Walter Dosch

Publication date: 1985

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

zbMATH Keywords

operational semantics denotational semantics algebraic specification domain abstract data types fixpoints semantic algebra continuous abstract types

Mathematics Subject Classification ID

Data structures (68P05)

Related Items (3)

Algebraic specifications for domain theory ⋮ Combining data type and recursive process specifications using projection algebras ⋮ On a generalized product for domains

This page was built for publication:

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:3707383&oldid=17204773"