Unfixing the fixpoint: The theories of the λy -calculus

被引：0

作者：

机构：

[1] Honsell, Furio

[2] Lenisa, Marina

来源：

| 1600年 / Springer Verlag卷 / 7860 LNCS期

关键词：

D O I：

10.1007/978-3-642-38164-5_11

中图分类号：

学科分类号：

摘要：

引用

共 50 条

[1] Fixpoint calculus for querying semistructured data
Bidoit, N
Ykhlef, M
WORLD WIDE WEB AND DATABASES, 1999, 1590 : 78 - 97
[2] A fixpoint calculus for local and global program flows
Alur, R
Chaudhuri, S
Madhusudan, P
ACM SIGPLAN NOTICES, 2006, 41 (01) : 153 - 165
[3] Simply typed fixpoint calculus and collapsible pushdown automata
Salvati, Sylvain
Walukiewicz, Igor
MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE, 2016, 26 (07) : 1304 - 1350
[4] Improved algorithm for the evaluation of alternating fixpoint expressions in the μ-calculus
Jiang, Hua
Li, Xiang
PROCEEDINGS OF THE FIFTH INTERNATIONAL CONFERENCE ON INFORMATION TECHNOLOGY: NEW GENERATIONS, 2008, : 1245 - 1248
[5] DESIGN COMPLETE SEQUENTIAL CALCULUS FOR CONTINUOUS FIXPOINT TEMPORAL LOGIC
PLIUSKEVICIUS, R
LECTURE NOTES IN ARTIFICIAL INTELLIGENCE, 1992, 633 : 36 - 51
[6] Alternating automata and a temporal fixpoint calculus for visibly pushdown languages
Bozzelli, Laura
CONCUR 2007 - CONCURRENCY THEORY, PROCEEDINGS, 2007, 4703 : 476 - 491
[7] A fixpoint semantics and an SLD-resolution calculus for modal logic programs
Nguyen, LA
FUNDAMENTA INFORMATICAE, 2003, 55 (01) : 63 - 100
[8] A Fixpoint-Based Calculus for Graph-Shaped Computational Fields
Lafuente, Alberto Lluch
Loreti, Michele
Montanari, Ugo
COORDINATION MODELS AND LANGUAGES, COORDINATION 2015, 2015, 9037 : 101 - 116
[9] LNL-FPC: THE LINEAR/NON-LINEAR FIXPOINT CALCULUS
Lindenhovius, Bert
Mislove, Michael
Zamdzhiev, Vladimir
LOGICAL METHODS IN COMPUTER SCIENCE, 2021, 17 (02) : 9:1 - 9:61
[10] On the λY calculus
Statman, R
ANNALS OF PURE AND APPLIED LOGIC, 2004, 130 (1-3) : 325 - 337

← 1 2 3 4 5 →