Michael K. Kinyon

Publication Activity (10 Years)

Years Active: 2000-2018
Publications (10 Years): 1

Top Topics

Application Domains

Problems Involving

Query Answering

Top Venues

Theor. Comput. Sci.

Publications

João Araújo, Michael K. Kinyon, Janusz Konieczny, António Malheiro
Decidability and independence of conjugacy problems in finitely presented monoids. Theor. Comput. Sci. 731 (2018)
Michael K. Kinyon, Jonathan Leech
Categorical Skew Lattices. Order 30 (3) (2013)
Michael K. Kinyon, Robert Veroff, Petr Vojtechovský
Loops with Abelian Inner Mapping Groups: An Application of Automated Deduction. Automated Reasoning and Mathematics (2013)
Karin Cvetko-Vah, Michael K. Kinyon, Jonathan Leech, Matthew Spinks
Cancellation in Skew Lattices. Order 28 (1) (2011)
Kenneth W. Johnson, Michael K. Kinyon, Gábor Péter Nagy, Petr Vojtechovský
Searching for small simple automorphic loops. LMS J. Comput. Math. 14 (2011)
João Araújo, Michael K. Kinyon, Janusz Konieczny
Minimal paths in the commuting graphs of semigroups. Eur. J. Comb. 32 (2) (2011)
Piroska Csörgö, Ales Drápal, Michael K. Kinyon
Buchsteiner Loops. Int. J. Algebra Comput. 19 (8) (2009)
Dean Alvis, Michael K. Kinyon
Birkhoff's Theorem for Panstochastic Matrices. Am. Math. Mon. 108 (1) (2001)
Anthony M. Bloch, Sergey V. Drakunov, Michael K. Kinyon
Stabilization of Nonholonomic Systems Using Isospectral Flows. SIAM J. Control. Optim. 38 (3) (2000)