Login / Signup
Minimum bases for equational theories of groups and rings: the work of Alfred Tarski and Thomas Green.
George F. McNulty
Published in:
Ann. Pure Appl. Log. (2004)
Keyphrases
</>
equational theories
theorem proving
basis functions
machine learning
bayesian networks
software engineering