Turing Machines with Atoms.

Mikolaj Bojanczyk Bartek Klin Slawomir Lasota Szymon Torunczyk

Published in: LICS (2013)

Keyphrases

turing machine
logic programs
linear combination
answer sets
search algorithm
data streams
object recognition
domain knowledge
small number