Browse by Journal
Jump to: Conference or workshop item
Number of items: 1.
Conference or workshop item
Kent, Stuart (1993) Towards a Modal Logic of Durative Actions. In: Proceedings of the first Imperial College Dept. of Computing Theory & Formal Methods Section Workshop. . pp. 183-194. Springer Verlag (doi:10.1007/978-1-4471-3503-6_14) (KAR id:21131) |