Undecidability Results for Bisimilarity on Prefix Rewrite Systems.

Petr Jancar Jirí Srba

Published in: FoSSaCS (2006)

Keyphrases

rewrite systems
term rewriting
quantifier free
active rules
description logics
knuth bendix
data structure
theorem prover
databases
tree structure
operational semantics
database
query processing
spatial information