Reuben N. S. Rowe

Available identifiers

Publication	Date of Publication	Type
Integrating induction and coinduction via closure operators and proof cycles	2022-11-09	Paper
Uniform Inductive Reasoning in Transitive Closure Logic via Infinite Descent	2022-05-28	Paper
Deductive synthesis of programs with pointers: techniques, challenges, opportunities (invited paper)	2022-03-25	Paper
https://portal.mardi4nfdi.de/entity/Q5013873	2021-12-03	Paper
Non-well-founded Proof Theory of Transitive Closure Logic	2020-09-11	Paper
A non-wellfounded, labelled proof system for propositional dynamic logic	2020-05-14	Paper
Towards automated reasoning in Herbrand structures	2020-02-03	Paper
A functional perspective on machine learning via programmable induction and abduction	2018-07-09	Paper
Realizability in cyclic proof: extracting ordering information for infinite descent	2018-02-02	Paper
Model checking for symbolic-heap separation logic with inductive predicates	2016-10-24	Paper
Functional Type Assignment for Featherweight Java	2014-04-16	Paper
Semantic types and approximation for Featherweight Java	2013-12-18	Paper
Approximation Semantics and Expressive Predicate Assignment for Object-Oriented Programming	2011-06-17	Paper

This page was built for person: Reuben N. S. Rowe