J. D. Phillips

Publication Activity (10 Years)

Years Active: 2005-2010
Publications (10 Years): 0

Publications

J. D. Phillips, David Stanovský
Automated theorem proving in quasigroup and loop theory. AI Commun. 23 (2-3) (2010)
J. D. Phillips, Petr Vojtechovský
Linear groupoids and the associated wreath products. J. Symb. Comput. 40 (3) (2005)