Publications

2 results at POPL 1975

An algebra of relations for machine computation
- - Patrick Hall
  - Peter Hitchcock
  - et al.
- 1975
- POPL 1975
Computer assisted application definition
- - Martin Mikelsons
- 1975
- POPL 1975