Q4536450
type: Item
instance of: scholarly article
zbMATH Open document ID: 0998.68518
author: Michel Charpentier
author: K. Mani Chandy
publication date: 2002-06-25T00:00:00Z
Mathematics Subject Classification ID: 68N30
zbMATH DE Number: 1759496
MaRDI profile type: MaRDI publication profile
Recommended article: Specification transformers: a predicate transformer approach to composition
Recommended article: A logical and ontological framework for compositional concepts of objects and properties
Recommended article: A compositional semantics for logic programs
Recommended article: On the completeness of compositional reasoning methods
Recommended article: Compositional Reasoning
Recommended article: Q2754080
Recommended article: Compositional Reasoning for Multi-modal Logics
Recommended article: Compositional model-theoretic semantics for logic programs
Recommended article: Towards a calculus of predicate transformers
description: scientific article; zbMATH DE number 1759496