Robin Hirsch
Professor
Engineering Sciences
University College London
United Kingdom
Biography
Robin Hirsch is professor at University College London.
Research Interest
Binary relations
Publications
-
Hirsch, R. D. (2016). There is no finite-variable equational axiomatization of representable relation algebras over weakly representable relation algebras. The Review of Symbolic Logic.
-
Hirsch, R. D., & McLean, B. (2017). Disjoint union partial algebras. Logical Methods in Computer Science (LMCS).
-
Hirsch, R. D. (2018). The temporal logic of two dimensional Minkowski spacetime is decidable. Journal of Symbolic Logic.
