scientific article
From MaRDI portal
Publication:2863901
zbMath1276.68112MaRDI QIDQ2863901
Osamu Takaki, Koki Nishizawa, Hiroshi Watanabe
Publication date: 4 December 2013
Full work available at URL: http://www.sciencedirect.com/science/article/pii/S1571066106004762?np=y
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Specification and verification (program logics, model checking, etc.) (68Q60) Abstract data types; algebraic specification (68Q65) Eilenberg-Moore and Kleisli constructions for monads (18C20)
Related Items (1)
This page was built for publication:
