scientific article; zbMATH DE number 192880
From MaRDI portal
Publication:4039769
zbMATH Open0658.68005MaRDI QIDQ4039769FDOQ4039769
Authors: J. M. Spivey 
Publication date: 5 June 1993
Title of this publication is not available (Why is that?)
Recommendations
Research exposition (monographs, survey articles) pertaining to computer science (68-02) Specification and verification (program logics, model checking, etc.) (68Q60) Semantics in the theory of computing (68Q55) Axiomatics of classical set theory and its fragments (03E30) Set theory (03E99)
Cited In (21)
- Functional sorts in data type specifications
- A decision procedure for a sublanguage of set theory involving monotone, additive, and multiplicative functions. I: The two-level case
- Title not available (Why is that?)
- Formal verification of multi-agent systems behaviour emerging from cognitive task analysis
- R n - and G n -logics
- A category theory approach to conceptual data modeling
- Categorical foundations for structured specifications in \(\mathsf{Z}\)
- A hidden agenda
- Title not available (Why is that?)
- Formative processes with applications to the decision problem in set theory. I: Powerset and singleton operators
- Verifying atomic data types
- A calculus for schemas in Z
- Compositionality: ontology and mereology of domains. Some clarifying observations in the context of software engineering
- On Automating the Calculus of Relations
- Building Specifications in the Event-B Institution
- Richer types for \(Z\)
- A set-theoretic semantics for Clear
- Efficient Well-Definedness Checking
- Partial functions and logics: A warning
- Encoding Z-style Schemas in type theory
- Title not available (Why is that?)
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 Q4039769)
