Login / Signup
Proving Equivalence of Different Axiomatizations of Free Groups.
Deepak Kapur
Hantao Zhang
Published in:
J. Autom. Reason. (1988)
Keyphrases
</>
group membership
neural network
social networks
temporal logic