Login / Signup

Approximate Pattern Matching is Expressible in Transitive Closure Logic.

Kjell LemströmLauri Hella
Published in: LICS (2000)
Keyphrases