Origin Tracking in Term Rewriting (Abstract).

Jan Willem Klop

Published in: RTA (1998)

Keyphrases

term rewriting
theorem proving
theorem prover
rewrite systems
operational semantics
particle filter
knuth bendix
real time
particle filtering
visual tracking
black box
partial occlusion
belief revision
object tracking
moving target
email
video sequences
high level
database