Depth Boundedness in Multiset Rewriting Systems with Name Binding.

Fernando Rosa-Velardo

Published in: RP (2010)

Keyphrases

rewriting systems
rewriting rules
sufficient conditions
databases
search engine
response time
query formulation