scientific article; zbMATH DE number 3630192

From MaRDI portal

Revision as of 12:49, 6 February 2024 by Import240129110113 (talk | contribs) (Created automatically from import240129110113)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Publication:4191573

Jump to:navigation, search

zbMath0405.68016MaRDI QIDQ4191573

Irène Guessarian

Publication date: 1979

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

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (4)

Continuous semilattices ⋮ Algebraic solutions to recursion schemes ⋮ Tree constructions of free continuous algebras ⋮ Order completion monads

This page was built for publication:

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