Christopher Broadbent : Publications

Click here to download all publications in a single bibtex file

@conference{Bro12,
  title = "The Limits of Decidability for First Order Logic on CPDA Graphs",
  author = "Christopher H. Broadbent",
  year = "2012",
  journal = "Submitted to STACS",
}

@inproceedings{DBLP:conf/lics/BroadbentCOS10,
  title = "Recursion Schemes and Logical Reflection",
  author = "Christopher H. Broadbent and Arnaud Carayol and C.-H. Luke Ong and Olivier Serre",
  year = "2010",
  booktitle = "LICS",
  pages = "120-129",
}

@inproceedings{DBLP:conf/fossacs/BroadbentO09,
  title = "On Global Model Checking Trees Generated by Higher-Order Recursion Schemes",
  author = "Christopher H. Broadbent and C.-H. Luke Ong",
  year = "2009",
  booktitle = "FOSSACS",
  pages = "107-121",
}