scientific article; zbMATH DE number 1368957
From MaRDI portal
Publication:4702601
zbMath0948.68118MaRDI QIDQ4702601
Rolf Hennicker, María Victoria Cengarle, Michel Bidoit
Publication date: 13 November 2000
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (4)
Observational logic, constructor-based logic, and their duality. ⋮ Compositional Modelling and Reasoning in an Institution for Processes and Data ⋮ Constructor-based observational logic ⋮ CASL: the Common Algebraic Specification Language.
This page was built for publication:
