A New Proof for Undecidability of the Bi-Infinite Post Correspondence Problem.

Vesa Halava Tero Harju Esa Sahla

Published in: Fundam. Informaticae (2017)

Keyphrases

business intelligence
description logics
theorem proving
theorem prover
finite sets
real time
data sets
neural network
point correspondences
logical rules
mathematical proofs