From Turing to the Clouds (On the Computability Power of Distributed Systems)

被引：0
|
作者：
Raynal, Michel [1 ]
机构：
[1] Univ Rennes, IRISA, Inst Univ France, Rennes, France
来源：
STRUCTURAL INFORMATION AND COMMUNICATION COMPLEXITY, SIROCCO 2014 | 2014年 / 8576卷
关键词：
D O I：
暂无
中图分类号：
TP3 [计算技术、计算机技术];
学科分类号：
0812 ;
摘要：
引用
收藏
页码：XIII / XIV
页数：2
相关论文
共 50 条
  • [21] Classical computability and fuzzy Turing machines
    Bedregal, BRC
    Figueira, S
    LATIN 2006: THEORETICAL INFORMATICS, 2006, 3887 : 154 - 165
  • [22] TURING WORK ON COMPUTABILITY AND THE HISTORY OF COMPUTERS
    DAVIS, M
    HISTORIA MATHEMATICA, 1985, 12 (04) : 381 - 381
  • [23] An early history of recursive functions and computability from Godel to Turing
    Grattan-Guinness, I.
    HISTORY AND PHILOSOPHY OF LOGIC, 2012, 33 (02) : 191 - 191
  • [24] Towards Turing computability via coinduction
    Ciaffaglione, Alberto
    SCIENCE OF COMPUTER PROGRAMMING, 2016, 126 : 31 - 51
  • [25] Arrow's Theorem and Turing computability
    Mihara, HR
    ECONOMIC THEORY, 1997, 10 (02) : 257 - 276
  • [26] Deviant encodings and Turing's analysis of computability
    Copeland, B. Jack
    Proudfoot, Diane
    STUDIES IN HISTORY AND PHILOSOPHY OF SCIENCE, 2010, 41 (03): : 247 - 252
  • [27] Formalizing Abstract Computability: Turing Categories in Coq
    Vinogradova, Polina
    Felty, Amy P.
    Scott, Philip
    ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2018, 338 : 203 - 218
  • [28] Einstein Meets Turing: The Computability of Nonlocal Games
    Yuen, Henry
    CONNECTING WITH COMPUTABILITY, 2021, 12813 : 483 - 493
  • [29] Generic computability, Turing degrees, and asymptotic density
    Jockusch, Carl G., Jr.
    Schupp, Paul E.
    JOURNAL OF THE LONDON MATHEMATICAL SOCIETY-SECOND SERIES, 2012, 85 : 472 - 490
  • [30] Turing Computability of the Fourier Transform of Bandlimited Functions
    Boche, Holger
    Monich, Ullrich J.
    2019 IEEE INTERNATIONAL SYMPOSIUM ON INFORMATION THEORY (ISIT), 2019, : 380 - 384
12345