Reuben N. S. Rowe

Identifiers

• name variant Reuben N. S. Rowe 0.60 · backfill

Papers (4)

1. A Non-wellfounded, Labelled Proof System for Propositional Dynamic Logic cs.LO · 2019 · author #2
2. Infinitary and Cyclic Proof Systems for Transitive Closure Logic cs.LO · 2018 · author #2
3. Size Relationships in Abstract Cyclic Entailment Systems cs.LO · 2017 · author #1
4. Semantic Predicate Types and Approximation for Class-based Object Oriented Programming cs.LO · 2011 · author #2

Mentions

• 1109.4618 #2 · backfill · confidence 0.70 Reuben N. S. Rowe

Frequent Coauthors

• James Brotherston 1 shared papers
• Liron Cohen 1 shared papers
• Simon Docherty 1 shared papers
• Steffen van Bakel 1 shared papers