Browse by Journal

Group by: Creator's name | Item Type | Date | No Grouping

Jump to: K

Number of items: 1.

K

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)

This list was generated on Tue Apr 23 22:52:19 2024 BST.