Author:
Araújo João,Kinyon Michael
Publisher
Springer Science and Business Media LLC
Subject
Algebra and Number Theory
Reference4 articles.
1. Araújo, J., McCune, W.: Computer solutions of problems in inverse semigroups. Commun. Algebra 38, 1104–1121 (2010)
2. Higgins, P.M.: Techniques in Semigroup Theory. Oxford University Press, London (1992)
3. McCune, W.: Prover9 and Mace4, version LADR-2009-11A. http://www.cs.unm.edu/~mccune/prover9/
4. Schein, B.: On the theory of inverse semigroups and generalized grouds. Am. Math. Soc. Transl. 113(2), 89–122 (1979)
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献