Cited By
View all- Chihani ZMiller DRenaud F(2017)A Semantic Framework for Proof EvidenceJournal of Automated Reasoning10.1007/s10817-016-9380-659:3(287-330)Online publication date: 1-Oct-2017
- Olarte CChiarugi DFalaschi MHermith D(2016)A proof theoretic view of spatial and temporal dependencies in biochemical systemsTheoretical Computer Science10.1016/j.tcs.2016.03.029641:C(25-42)Online publication date: 16-Aug-2016
- Scherer GRémy D(2015)Which simple types have a unique inhabitant?ACM SIGPLAN Notices10.1145/2858949.278475750:9(243-255)Online publication date: 29-Aug-2015
- Show More Cited By