Bunch theory: axioms, logic, applications and model (Q6561347)
From MaRDI portal
| This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Bunch theory: axioms, logic, applications and model |
scientific article; zbMATH DE number 7870779
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Bunch theory: axioms, logic, applications and model |
scientific article; zbMATH DE number 7870779 |
Statements
Bunch theory: axioms, logic, applications and model (English)
0 references
25 June 2024
0 references
bunch-theory
0 references
partial-functions
0 references
logic
0 references
denotational-model
0 references
backtracking
0 references
refinement-calculus
0 references
0 references