共 50 条
- [42] Computability of the entropy of one-tape Turing machines 31ST INTERNATIONAL SYMPOSIUM ON THEORETICAL ASPECTS OF COMPUTER SCIENCE (STACS 2014), 2014, 25 : 421 - 432
- [44] Quantum adiabatic evolution algorithm for a quantum neural network ARTIFICIAL NEURAL NETWORKS AND NEURAL INFORMATION PROCESSING - ICAN/ICONIP 2003, 2003, 2714 : 951 - 958
- [45] From Turing to the Clouds (On the Computability Power of Distributed Systems) STRUCTURAL INFORMATION AND COMMUNICATION COMPLEXITY, SIROCCO 2014, 2014, 8576 : XIII - XIV
- [46] Oracle Computability and Turing Reducibility in the Calculus of Inductive Constructions PROGRAMMING LANGUAGES AND SYSTEMS, APLAS 2023, 2023, 14405 : 155 - 181