Sciweavers

Share
FSTTCS   2010 Foundations of Software Technology and Theoretical Computer Science
Wall of Fame | Most Viewed FSTTCS-2010 Paper
FSTTCS
2010
Springer
8 years 7 months ago
The Complexity of Model Checking (Collapsible) Higher-Order Pushdown Systems
We study (collapsible) higher-order pushdown systems -- theoretically robust and well-studied models of higher-order programs -- along with their natural subclass called (collapsi...
Matthew Hague, Anthony Widjaja To
Disclaimer and Copyright Notice
Sciweavers respects the rights of all copyright holders and in this regard, authors are only allowed to share a link to their preprint paper on their own website. Every contribution is associated with a desciptive image. It is the sole responsibility of the authors to ensure that their posted image is not copyright infringing. This service is compliant with IEEE copyright.
IdReadViewsTitleStatus
1Download preprint from source227
2Download preprint from source210
3Download preprint from source193
4Download preprint from source193
5Download preprint from source184
6Download preprint from source179
7Download preprint from source173
8Download preprint from source169
9Download preprint from source166
10Download preprint from source164
11Download preprint from source161
12Download preprint from source160
13Download preprint from source159
14Download preprint from source159
15Download preprint from source157
16Download preprint from source154
17Download preprint from source151
18Download preprint from source146
19Download preprint from source145
20Download preprint from source142
21Download preprint from source139
22Download preprint from source134
23Download preprint from source133
24Download preprint from source133
25Download preprint from source133
26Download preprint from source132
27Download preprint from source131
28Download preprint from source130
29Download preprint from source124
30Download preprint from source124
31Download preprint from source121
32Download preprint from source111
33Download preprint from source111
34Download preprint from source101
35Download preprint from source98
books