EEMCS EPrints Service
|
||||||||||||||||
|
Number of items: 1. 2000
Broersen, J.M. and Wieringa, R.J. and Meyer, J.J.C.
(2000)
Mu-calculus-based deontic logic for regular actions.
In: Fifth International Workshop on Deontic Logic in Computer Science (DEON'00), 20-22 Jan 2000, Toulouse, France.
pp. 43-61.
Onera.
ISBN not assigned
This list was generated on Thu May 24 06:00:51 CEST 2012. |
||||||||||||||||