Cancellative Superposition Decides the Theory of Divisible Torsion-Free Abelian Groups.

Published in: LPAR (1999)

Keyphrases

theoretical foundation
theoretical framework
theorem proving
general theory
planar curves
data sets
genetic algorithm
information systems
lower bound
rough sets
conceptual framework