University of Hertfordshire

Publications

  1. 2022
  2. Mortality and Edge-to-Edge Reachability are Decidable on Surfaces

    de Oliveira Oliveira, M. & Tveretina, O., 17 Jan 2022, (Accepted/In press) The proceedings of the 25th ACM International Conference on Hybrid Systems: Computation and Control.. ACM Digital Library

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  3. The limits of understanding and the understanding of limits: David Hume’s mathematical sources

    Larvor, B., 15 Apr 2022, (Accepted/In press) Research in History and Philosophy of Mathematics: The CSHPM 2021 Volume. Switzerland : Springer International Publishing AG, (Research in History and Philosophy of Mathematics).

    Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)peer-review