UnisaIR Home
→
College of Science, Engineering and Technology
→
School of Computing
→
SAICSIT Digital Archive
→
South African Computer Journal (SACJ)
→
South African Computer Journal 1993(9)
→
Search

Search

Filters

Use filters to refine the search results.

Current Filters:








New Filters:

Showing 1 out of a total of 1 results for collection: South African Computer Journal 1993(9). (0.012 seconds)

Now showing items 1-1 of 1

1

Sort Options:
Results Per Page:
- 5
- 10
- 20
- 40
- 60
- 80
- 100

A working relational model: The derivation of the Dijkstra-Scholten predicate transformer semantics from Tarski's axioms for the Peirce-Schroder calculus of relations

Maddux, RD (South African Computer Society (SAICSIT), 1993)

Now showing items 1-1 of 1

1

Sort Options:
Results Per Page:
- 5
- 10
- 20
- 40
- 60
- 80
- 100

Browse

All of UnisaIR
This Collection
- By Issue Date
- Authors
- Titles
- Subjects
- Advisor
- Type

My Account

Discover

Author
- Maddux, RD (1)
Subject
- Axiomatic (1)
- Preconditions (1)
- Predicate transformers (1)
- Relation algebras (1)
- Relational (1)
- Semantics (1)
- ... View More
Date Issued
- 1993 (1)
Has File(s)
- Yes (1)