Permutation rewriting and algorithmic verification.

Ahmed Bouajjani Anca Muscholl Tayssir Touili

Published in: Inf. Comput. (2007)

Keyphrases

model checking
face verification
neural network
conjunctive queries
formal analysis
concurrent systems
database
real world
information retrieval
learning algorithm
special case
scheduling problem
formal methods
rewrite rules
asynchronous circuits
rewriting rules