Publisher
Springer Berlin Heidelberg
Reference14 articles.
1. Burris, S., Lee, S.: Small models of the high school identities. Int’l J. of Algebra and Computation 2, 139–178 (1992)
2. Burris, S., Yeats, K.: The saga of the high school identities, Algebra Universalis (to appear)
3. Claessen, K., Sörensson, N.: New techniques that improve MACE-style finite model finding. In: Model Computation – Principles, Algorithms, Applications, CADE-19 Workshop W4, Miami, Florida, USA (2003)
4. Gurevič, R.: Equational theory of positive numbers with exponentiation. In: Proc. Amer. Math. Soc., vol. 94, pp. 135–141 (1985)
5. Jackson, M.G.: A note on HSI-algebras and counterexamples to Wilkie’s identity. Algebra Universalis 36, 528–535 (1996)
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献