Christopher Broadbent : Publications
-
[1]
The Limits of Decidability for First Order Logic on CPDA Graphs
Christopher H. Broadbent
2012.
Details about The Limits of Decidability for First Order Logic on CPDA Graphs | BibTeX data for The Limits of Decidability for First Order Logic on CPDA Graphs | Download (pdf) of The Limits of Decidability for First Order Logic on CPDA Graphs
-
[2]
Recursion Schemes and Logical Reflection
Christopher H. Broadbent‚ Arnaud Carayol‚ C.−H. Luke Ong and Olivier Serre
In LICS. Pages 120−129. 2010.
Details about Recursion Schemes and Logical Reflection | BibTeX data for Recursion Schemes and Logical Reflection
-
[3]
On Global Model Checking Trees Generated by Higher−Order Recursion Schemes
Christopher H. Broadbent and C.−H. Luke Ong
In FOSSACS. Pages 107−121. 2009.
Details about On Global Model Checking Trees Generated by Higher−Order Recursion Schemes | BibTeX data for On Global Model Checking Trees Generated by Higher−Order Recursion Schemes