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:
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:
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