scientific article
From MaRDI portal
Publication:4039769
zbMath0658.68005MaRDI QIDQ4039769
Publication date: 5 June 1993
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Semantics in the theory of computing (68Q55) Specification and verification (program logics, model checking, etc.) (68Q60) Research exposition (monographs, survey articles) pertaining to computer science (68-02) Axiomatics of classical set theory and its fragments (03E30) Set theory (03E99)
Related Items (17)
Functional sorts in data type specifications ⋮ Building Specifications in the Event-B Institution ⋮ Encoding Z-style Schemas in type theory ⋮ Categorical foundations for structured specifications in \(\mathsf{Z}\) ⋮ Verifying atomic data types ⋮ On Automating the Calculus of Relations ⋮ Efficient Well-Definedness Checking ⋮ A category theory approach to conceptual data modeling ⋮ Partial functions and logics: A warning ⋮ R n - and G n -logics ⋮ A decision procedure for a sublanguage of set theory involving monotone, additive, and multiplicative functions. I: The two-level case ⋮ Compositionality: Ontology and Mereology of Domains ⋮ Richer types for \(Z\) ⋮ Formal verification of multi-agent systems behaviour emerging from cognitive task analysis ⋮ A hidden agenda ⋮ A calculus for schemas in Z ⋮ Formative processes with applications to the decision problem in set theory. I: Powerset and singleton operators
This page was built for publication:
