Browse by UCL people
Group by: Type | Date
Number of items: 3.
Article
Hirsch, R;
McLean, B;
(2017)
Disjoint union partial algebras.
Logical Methods in Computer Science
, 13
(2)
pp. 1-31.
10.23638/LMCS-13(2:10)2017.
|
Proceedings paper
|
Hirsch, R;
McLean, B;
(2018)
The temporal logic of two-dimensional Minkowski spacetime with slower-than-light accessibility is decidable.
In: Bezhanishvili, G and D'Agostino, G and Metcalfe, G and Studer, T, (eds.)
Advances in Modal Logic, Volume 12.
(pp. pp. 347-366).
AiML: Bern, Switzerland.
|
Thesis
|
McLean, Brett;
(2018)
Algebras of partial functions.
Doctoral thesis (Ph.D), UCL (University College London).
|
 |
