Searching for "A Logic for the Schema Calculus." – sorted by Relevance.
3 documents found, showing 1 through 3.
-
A Logic for the Schema Calculus
- …A Logic for the Schema Calculus Martin C. Henson 1 and Steve Reeves 2 1 Department of Computer…
- Cited by 6 (4 self) – Add To MetaCart
-
Investigating Z
- …, this logic is consistent and is easily shown to be sound. We show how a complete schema calculus can…
- Cited by 11 (4 self) – Add To MetaCart
-
New Foundations for Z
- … derivable in view of rule (sub). 3.3 State schema calculus The specification logic ZC is essentially a…
- Cited by 2 (2 self) – Add To MetaCart
Showing 1 through 3.
