School of Computing

Publications by Dr Reuben Rowe

Also view these in the Kent Academic Repository

Conference or workshop item
Rowe, R. and Brotherston, J. (2017). Realizability in Cyclic Proof: Extracting Ordering Information for Infinite Descent. in: TABLEAUX. Springer, pp. 295-310. Available at: http://dx.doi.org/10.1007/978-3-319-66902-1_18.
Brotherston, J. et al. (2016). Model checking for symbolic-heap separation logic with inductive predicates. in: 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages. POPL '16. New York, NY, USA: ACM, pp. 84-96. Available at: http://doi.org/10.1145/2914770.2837621.
Total publications in KAR: 2 [See all in KAR]

School of Computing, University of Kent, Canterbury, Kent, CT2 7NF

Enquiries: +44 (0)1227 824180 or contact us.

Last Updated: 16/10/2017