scientific article; zbMATH DE number 3630192

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

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