Visibly Pushdown Languages and Term Rewriting.

Jacques Chabin Pierre Réty

Published in: FroCoS (2007)

Keyphrases

term rewriting
theorem proving
theorem prover
operational semantics
knuth bendix
rewrite systems
expressive power
language independent
model checking
cross lingual
email
object oriented databases
inference rules
dynamic environments
text summarization
knowledge representation
probabilistic model
multi agent systems