Equivalence Relations, Invariants, and Normal Forms

This publication has 4 references indexed in Scilit:

• Toward logic tailored for computational complexity
  Lecture Notes in Mathematics, 1984
• An O(n3 log n) deterministic and an O (n 3) probabilistic isomorphism test for trivalent graphs
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,1982
• The polynomial-time hierarchy
  Theoretical Computer Science, 1976
• Relativizations of the $\mathcal{P} = ?\mathcal{NP}$ Question
  SIAM Journal on Computing, 1975