Login / Signup
The Formula Isomorphism Problem.
Manindra Agrawal
Thomas Thierauf
Published in:
SIAM J. Comput. (2000)
Keyphrases
</>
graph theory
graph isomorphism
real time
databases
information retrieval
case study
three dimensional
mathematical formulas
universally quantified