Browse by Person (creator, editor, contributor, etc.)
Number of items: 2. Book section
|
Fiadeiro, J. and Goldsack, S.J. and Kent, S. and Quirk, W.
(1992)
Design Issues in Structured MAL.
In:
FOREST Research Deliverable Report WP1.R2.
Dept of Computing, Imp College, Department of Computing, Imperial College of Science, Technology and Medicine, London.
The full text of this publication is not available from this repository.
|
|
|
Kent, S. and Mailbaum, T. and Quirk, W.
(1992)
Specifying Deontic Behaviour in Modal Action Logic.
In:
FOREST Research Deliverable Report WP1.R2.
Imperial College, Department of Computing, Imperial College of Science, Technology and Medicine, London.
The full text of this publication is not available from this repository.
|
|
This list was generated on Sat May 18 14:23:45 2013 BST. |
