A doctrinal approach to modal/temporal Heyting logic and non-determinism in processes

  • PAOLO BOTTONI, DANIELE GORLA, STEFANO KASANGIAN, ANNA LABELLA
  • Mathematical Structures in Computer Science, February 2017, Cambridge University Press
  • DOI: 10.1017/s0960129517000019

The authors haven't yet claimed this publication.

Read Publication

http://dx.doi.org/10.1017/s0960129517000019