Symbolic Backwards-Reachability Analysis for Higher-Order Pushdown Systems. / Hague, Matthew; Ong, C.-H. Luke.

In: Logical Methods in Computer Science, Vol. 4, No. 4, 14, 05.12.2008, p. 1-45.

Research output: Contribution to journalArticlepeer-review

Original languageEnglish
Article number14
Pages (from-to)1-45
Number of pages45
JournalLogical Methods in Computer Science
Issue number4
Publication statusPublished - 5 Dec 2008

Research outputs

This open access research output is licenced under a Creative Commons Attribution-NonCommercial-NoDerivs 3.0 Unported License.

ID: 15219563