Addressed term rewriting systems: application to a typed object calculus.

Daniel J. Dougherty Pierre Lescanne Luigi Liquori

Published in: Math. Struct. Comput. Sci. (2006)

Keyphrases

term rewriting systems
higher order
database
databases
database systems
video sequences
object tracking
complex objects