Login / Signup
Undecidability in binary tag systems and the Post correspondence problem for four pairs of words.
Turlough Neary
Published in:
CoRR (2013)
Keyphrases
</>
pairwise
complex systems
management system
neural network
keywords
knowledge base
description logics
distributed systems
point correspondences