On Logical Depth and the Running Time of Shortest Programs.

Luis Filipe Coelho Antunes Andre Souto Paul M. B. Vitányi

Published in: CoRR (2013)

Keyphrases

dynamic logic
depth map
depth information
shortest path
probabilistic logic
real world
case study
database systems
computer programs
fixpoint
path length
truth values
control structures
provably correct