Program analysis for implicit computational complexity

被引：0

|

作者：

Jones, ND ^{[1
]}

机构：

[1] Univ Copenhagen, DIKU, DK-2100 Copenhagen O, Denmark

来源：

PROGRAMS AS DATA OBJECTS, PROCEEDINGS | 2001年 / 2053卷

关键词：

D O I：

暂无

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

引用

收藏

页码：1 / 1

页数：1

相关论文

共 50 条

[1] Automated implicit computational complexity analysis
Avanzini, Martin
Moser, Georg
Schnabl, Andreas
AUTOMATED REASONING, PROCEEDINGS, 2008, 5195 : 132 - +
[2] Implicit computational complexity
Marion, JY
THEORETICAL COMPUTER SCIENCE, 2004, 318 (1-2) : 1 - 1
[3] Quantum implicit computational complexity
Dal Lago, Ugo
Masini, Andrea
Zorzi, Margherita
THEORETICAL COMPUTER SCIENCE, 2010, 411 (02) : 377 - 409
[4] Developments in implicit computational complexity
Marion, Jean-Yves
INFORMATION AND COMPUTATION, 2015, 241 : 1 - 2
[5] Special Issue on Implicit Computational Complexity
Baillot, Patrick
Marion, Jean-Yves
Della Rocca, Simona Ronchi
ACM TRANSACTIONS ON COMPUTATIONAL LOGIC, 2009, 10 (04)
[6] Reversible computing and implicit computational complexity
Kristiansen, Lars
SCIENCE OF COMPUTER PROGRAMMING, 2022, 213
[7] Probabilistic Recursion Theory and Implicit Computational Complexity
Dal Lago, Ugo
Zuppiroli, Sara
Gabbrielli, Maurizio
SCIENTIFIC ANNALS OF COMPUTER SCIENCE, 2014, 24 (02) : 177 - 216
[8] COMPUTATIONAL COMPLEXITY OF PROGRAM SCHEMATA
WEIHRAUCH, K
JOURNAL OF COMPUTER AND SYSTEM SCIENCES, 1976, 12 (01) : 80 - 107
[9] Probabilistic recursion theory and implicit computational complexity
1600, Springer Verlag (8687):
[10] Probabilistic Recursion Theory and Implicit Computational Complexity
Dal Lago, Ugo
Zuppiroli, Sara
THEORETICAL ASPECTS OF COMPUTING - ICTAC 2014, 2014, 8687 : 97 - 114

← 1 2 3 4 5 →