C.-H. Luke Ong - POPL 2016

Registered user since Thu 8 Oct 2015

Name: C.-H. Luke Ong

Affiliation: University of Oxford, UK

Contributions

POPL 2016	Unboundedness and Downward Closures of Higher-Order Pushdown Automata T5: Higher-Order Model Checking Session Chair of Track 2: Decidability and complexity (part of Research Papers)
Show activities from other conferences