scientific article

From MaRDI portal

Publication:3780422

Jump to:navigation, search

zbMath0639.68022MaRDI QIDQ3780422

Gilles Bernot

Publication date: 1987

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

zbMATH Keywords

initial algebra abstract data type initial model abstract specification structured specifications synthesis functor loose semantics

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Data structures (68P05) Special properties of functors (faithful, full, etc.) (18A22) Equational categories (18C05) Categories of algebras (08C05)

Related Items

This page was built for publication:

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