Browse by People


Up a level
Export as [feed] RSS [feed] RSS 2.0 Short Author List
Number of items: 1.


Dixon, Clare ORCID: 0000-0002-4610-9533, Konev, Boris ORCID: 0000-0002-6507-0494, Fisher, Michael ORCID: 0000-0002-0875-3862 and Nietiadi, Sherly
(2013) Deductive temporal reasoning with constraints. JOURNAL OF APPLIED LOGIC, 11 (1). 30 - 51.

This list was generated on Sun Jul 31 15:17:05 2022 BST.