-Complete Equational Specification of Interleaving.

Wan J. Fokkink S. P. Luttik

Published in: ICALP (2000)

Keyphrases

formal specification
provably correct
website
theorem proving
information retrieval
search engine
computer vision
high level
similarity measure
special case
logic programming