Rewriting Techniques in Theoretical Physics.

Evelyne Contejean Antoine Coste Benjamin Monate

Published in: RTA (2000)

Keyphrases

theoretical analysis
quantum mechanics
computer science
databases
conjunctive queries
computer vision
decision making
multiscale
data structure
artificial neural networks
rewrite rules
presburger arithmetic