Sign in
From Rewrite to Bisimulation Congruences.
Peter Sewell
Published in:
CONCUR (1998)
Keyphrases
</>
query rewriting
equivalence relation
rewrite rules
clustering algorithm
neural network
information retrieval
knowledge base
feature extraction
computational complexity
object recognition
user interface
rough sets
domain independent
optimal planning