Computability and Complexity in Analysis

被引:0
|
作者
Bauer, Andrej [1 ]
Hertling, Peter [2 ]
Ko, Ker-I [3 ]
机构
[1] Univ Ljubljana, Fac Math & Phys, Ljubljana, Slovenia
[2] Univ Bundeswehr, Fac Comp Sci, Munich, Germany
[3] SUNY Stony Brook, Dept Comp Sci, Stony Brook, NY 11794 USA
关键词
D O I
暂无
中图分类号
TP31 [计算机软件];
学科分类号
081202 ; 0835 ;
摘要
引用
下载
收藏
页码:2495 / 2495
页数:1
相关论文
共 50 条
  • [11] RATIONALITY, COMPUTABILITY, AND COMPLEXITY
    RUSTEM, B
    VELUPILLAI, K
    JOURNAL OF ECONOMIC DYNAMICS & CONTROL, 1990, 14 (02): : 419 - 432
  • [12] New results on the computability and complexity of points-to-analysis
    Chakaravarthy, VT
    ACM SIGPLAN NOTICES, 2003, 38 (01) : 115 - 125
  • [13] COMPOSITIONALITY, COMPUTABILITY, AND COMPLEXITY
    Pagin, Peter
    REVIEW OF SYMBOLIC LOGIC, 2021, 14 (03): : 551 - 591
  • [14] On rational computability and communication complexity
    Shoham, Y
    Tennenholtz, M
    GAMES AND ECONOMIC BEHAVIOR, 2001, 35 (1-2) : 197 - 211
  • [15] Selected papers of the Dagstuhl Seminar on Computability and Complexity in Analysis 2001 - Preface
    Brattka, V
    Hertling, P
    Yasugi, M
    Zhong, N
    MATHEMATICAL LOGIC QUARTERLY, 2002, 48
  • [16] Computability-theoretic learning complexity
    Department of Computer and Information Sciences, University of Delaware, Newark, DE 19716-2586, United States
    不详
    Philos. Trans. R. Soc. A Math. Phys. Eng. Sci., 1600, 1971 (3570-3596):
  • [17] COMPUTABILITY AND COMPLEXITY OF RAY-TRACING
    REIF, JH
    TYGAR, JD
    YOSHIDA, A
    DISCRETE & COMPUTATIONAL GEOMETRY, 1994, 11 (03) : 265 - 287
  • [18] Computability and complexity from a programming perspective
    Jones, ND
    PROOF AND SYSTEM-RELIABILITY, 2002, 62 : 79 - 135
  • [19] Computability and Complexity Issues of Extended RDF
    Analyti, Anastasia
    Antoniou, Grigoris
    Damasio, Carlos Viegas
    Wagner, Gerd
    ECAI 2008, PROCEEDINGS, 2008, 178 : 733 - +
  • [20] Special Issue on Computability, Complexity and Randomness
    Mayordomo, Elvira
    Merkle, Wolfgang
    THEORY OF COMPUTING SYSTEMS, 2015, 56 (03) : 437 - 438