Publisher
Springer International Publishing
Reference16 articles.
1. N. K. Bose, Applied Multidimensional Systems Theory, Van Nostrand Reinhold, New York, 1982.
2. A. Tarski, A Decision Method for Elementary Algebra and Geometry, University of California Press, Berkeley, CA., 1930.
3. P. J. Cohen, “Decision procedures for real and p-adic fields,” Comm. Pure Appl. Math, vol. 22, pp. 131–151, 1969.
4. A. Seidenberg, “A new decision method for elementary algebra,” Ann. Math., vol. 60, pp. 365–374, 1954.
5. N. Jacobson, Lectures in Abstract Algebra, vol. 3, Springer-Verlag, New York, 1964.