scientific article; zbMATH DE number 1759496
From MaRDI portal
Publication:4536450
zbMATH Open0998.68518MaRDI QIDQ4536450FDOQ4536450
K. Mani Chandy, Michel Charpentier
Publication date: 25 June 2002
Title of this publication is not available (Why is that?)
Recommendations
- Title not available (Why is that?) 👍 👎
- A logical and ontological framework for compositional concepts of objects and properties 👍 👎
- A compositional semantics for logic programs 👍 👎
- Compositional model-theoretic semantics for logic programs 👍 👎
- Towards a calculus of predicate transformers 👍 👎
- Compositional Reasoning for Multi-modal Logics 👍 👎
- Specification transformers: a predicate transformer approach to composition 👍 👎
- On the completeness of compositional reasoning methods 👍 👎
- Compositional Reasoning 👍 👎
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4536450)
