New proof for the undecidability of the circular PCP.

Vesa Halava Tero Harju

Published in: Acta Informatica (2013)

Keyphrases

description logics
hough transform
theorem proving
logical rules
harmonic functions
neural network
artificial intelligence
database systems
probabilistic planning