The Complexity of the Diagonal Problem for Recursion Schemes.

Published in: FSTTCS (2017)

Keyphrases

computational complexity
data structure
decision problems
database
real time
decision making
expert systems
special case
mobile robot
logic programming
transitive closure