Instruct: Given a paper title, retrieve paper titles that are cited by the given paper
Query: Computability Theory of Closed Timelike Curves
Closed timelike curves make quantum and classical computing equivalent
Logical reversibility of computation
Superintelligence cannot be contained: Lessons from Computability Theory
The Church-Turing thesis: Consensus and opposition
Undecidable Problems About Timed Automata
Quantum Theory, the Church-Turing principle and the universal quantum computer
Non-Computability of Consciousness
Linear-time computability of combinatorial problems on series-parallel graphs
Nature of Computation and Communication
Recursive Unsolvability of Post's Problem of "Tag" and other Topics in Theory of Turing Machines
Reasoning with Temporal Logic on Truncated Paths
Back to the Future : Towards a Theory of Timed Regular Languages
Computability and λ-definability
A theory of timed automata
Alternating-time temporal logic
A Computing Procedure for Quantification Theory
Reasoning about temporal relations: a maximal tractable subclass of Allen's interval algebra
Cartesian Cubical Computational Type Theory: Constructive Reasoning with Paths and Equalities
On Models Constructed by Means of the Arithmetized Completeness Theorem
A Mechanical Proof of the Unsolvability of the Halting Problem
Educational data mining: A survey and a data mining-based analysis of recent works
Conductance and congestion in power law graphs
Robust Object Co-Segmentation Using Background Prior
ROS: an open-source Robot Operating System
Matrix analysis