Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Christopher H. Broadbent" ( http://dblp.L3S.de/Authors/Christopher_H._Broadbent )

  Author page on DBLP  Author page in RDF  Community of Christopher H. Broadbent in ASPL-2

Publication years (Num. hits)
2009 (1) 2010 (1) 2012 (1)
Publication types (Num. hits)
inproceedings(3)
Venues (Conferences, Journals, ...)
FOSSACS(1) LICS(1) STACS(1)
Authors
Christopher H. Broadbent(3) C.-H. Luke Ong(2) Arnaud Carayol(1) Olivier Serre(1)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 4 occurrences of 3 keywords
Results
Found 3 publication records. Showing 3 according to the selection in the facets
Hits ?▲ Authors Title Venue Year Link Author keywords
1Christopher H. Broadbent The Limits of Decidability for First Order Logic on CPDA Graphs. Search on Bibsonomy STACS The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Christopher H. Broadbent, Arnaud Carayol, C.-H. Luke Ong, Olivier Serre Recursion Schemes and Logical Reflection. Search on Bibsonomy LICS The full citation details ... 2010 DBLP  DOI  BibTeX  RDF Collapsible Pushdown Automata, Monadic Second Order Logic and Mu-Calculus Global model checking, Parity Games, Recursion Schemes
1Christopher H. Broadbent, C.-H. Luke Ong On Global Model Checking Trees Generated by Higher-Order Recursion Schemes. Search on Bibsonomy FOSSACS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Collapsible Pushdown Automaton, Parity Game, Model Checking, Game Semantics, Recursion Scheme
Displaying result #1 - #3 of 3 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.