Tarski's Finite Basis Problem is Undecidable.

Published in: Int. J. Algebra Comput. (1996)

Keyphrases

sufficient conditions
starting point
social networks
knowledge base
three dimensional
information technology
user interface