Reasoning about actual and hypothetical occurrences of concurrent and non-deterministic actions

Citation
C. Baral et al., Reasoning about actual and hypothetical occurrences of concurrent and non-deterministic actions, APPL LOG S, 12, 1999, pp. 73-109
Categorie Soggetti
Current Book Contents
Journal title
Volume
12
Year of publication
1999
Pages
73 - 109
Database
ISI
SICI code