The Complexity of Model Checking (Collapsible) Higher‐Order Pushdown Systems. / Hague, Matthew; Lin, Anthony.

FSTTCS: Foundations of Software Technology and Theoretical Computer Science. 2010.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Published
Original languageEnglish
Title of host publicationFSTTCS: Foundations of Software Technology and Theoretical Computer Science
Publication statusPublished - 2010
EventFSTTCS: Foundations of Software Technology and Theoretical Computer Science - Chennai, India
Duration: 15 Dec 201018 Dec 2010

Conference

ConferenceFSTTCS: Foundations of Software Technology and Theoretical Computer Science
CountryIndia
CityChennai
Period15/12/1018/12/10

ID: 25573123