Christopher H. Broadbent

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

- CSB - MetaPress - Google - Bing - Yahoo

2012

3 Christopher H. Broadbent: The Limits of Decidability for First Order Logic on CPDA Graphs. STACS 2012: 589-600

2010

2 Christopher H. Broadbent, Arnaud Carayol, C.-H. Luke Ong, Olivier Serre: Recursion Schemes and Logical Reflection. LICS 2010: 120-129

2009

1 Christopher H. Broadbent, C.-H. Luke Ong: On Global Model Checking Trees Generated by Higher-Order Recursion Schemes. FOSSACS 2009: 107-121

	2012
3		Christopher H. Broadbent: The Limits of Decidability for First Order Logic on CPDA Graphs. STACS 2012: 589-600
	2010
2		Christopher H. Broadbent, Arnaud Carayol, C.-H. Luke Ong, Olivier Serre: Recursion Schemes and Logical Reflection. LICS 2010: 120-129
	2009
1		Christopher H. Broadbent, C.-H. Luke Ong: On Global Model Checking Trees Generated by Higher-Order Recursion Schemes. FOSSACS 2009: 107-121

Coauthor Index

1 Arnaud Carayol [2]

2 C.-H. Luke Ong [1] [2]

3 Olivier Serre [2]

Last update Sun May 27 04:04:01 2012 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page