Export Citations
1 Results for: Keyword: higher-order modal fixpoint logic
Save this search
Please login to be able to save your searches and receive alerts for new content matching your search criteria.
Searched The ACM Guide to Computing Literature (3,829,156 records)|Limit your search to The ACM Full-Text Collection (772,637 records)
Select All
- research-articleJanuary 2017
On the relationship between higher-order recursion schemes and higher-order fixpoint logic
POPL '17: Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming LanguagesPages 246–259https://doi.org/10.1145/3009837.3009854We study the relationship between two kinds of higher-order extensions
of model checking: HORS model checking, where models are extended to
higher-order recursion schemes, and HFL model checking, where the
logic is extedned to higher-order modal ...
Also Published in:
ACM SIGPLAN Notices: Volume 52 Issue 1
