Marked PCP is decidable.

Vesa Halava Mika Hirvensalo Ronald de Wolf

Published in: Theor. Comput. Sci. (2001)

Keyphrases

first order logic
transitive closure
polynomial hierarchy
data structure
information systems
web services
data model
function symbols