Michael K. Kinyon

According to our database, Michael K. Kinyon authored at least 16 papers between 2000 and 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2022

Larry Wos: Visions of Automated Reasoning.

Michael Beeson, Maria Paola Bonacina, Michael Kinyon, Geoff Sutcliffe

J. Autom. Reason., 2022

Diagonal groups and arcs over groups.

Rosemary A. Bailey, Peter J. Cameron, Michael Kinyon, Cheryl E. Praeger

Des. Codes Cryptogr., 2022

2021

Two Generalizations of Bounded Involutive Lattices and of Ortholattices.

Afrodita Iorgulesc, Michael Kinyon

FLAP, 2021

2020

Putting Bounded Involutive Lattices, De Morgan Algebras, Ortholattices and Boolean Algebras on the "Map".

Afrodita Iorgulesc, Michael Kinyon

FLAP, 2020

2019

Regular antilattices.

Karin Cvetko-Vah, Michael Kinyon, Jonathan Leech, Tomaz Pisanski

Art Discret. Appl. Math., 2019

2018

Decidability and independence of conjugacy problems in finitely presented monoids.

João Araújo, Michael K. Kinyon, Janusz Konieczny, António Malheiro

Theor. Comput. Sci., 2018

Proof Simplification and Automated Theorem Proving.

Michael Kinyon

CoRR, 2018

2015

Loops with exponent three in all isotopes.

Michael Kinyon, Ian M. Wanless

Int. J. Algebra Comput., 2015

2013

Categorical Skew Lattices.

Michael K. Kinyon, Jonathan Leech

Order, 2013

Loops with Abelian Inner Mapping Groups: An Application of Automated Deduction.

Michael K. Kinyon, Robert Veroff, Petr Vojtechovský

Proceedings of the Automated Reasoning and Mathematics, 2013

2011

Cancellation in Skew Lattices.

Karin Cvetko-Vah, Michael K. Kinyon, Jonathan Leech, Matthew Spinks

Order, 2011

Searching for small simple automorphic loops.

Kenneth W. Johnson, Michael K. Kinyon, Gábor Péter Nagy, Petr Vojtechovský

LMS J. Comput. Math., 2011

Minimal paths in the commuting graphs of semigroups.

João Araújo, Michael K. Kinyon, Janusz Konieczny

Eur. J. Comb., 2011

2009

Buchsteiner Loops.

Piroska Csörgö, Ales Drápal, Michael K. Kinyon

Int. J. Algebra Comput., 2009

2001

Birkhoff's Theorem for Panstochastic Matrices.

Dean Alvis, Michael K. Kinyon

Am. Math. Mon., 2001

2000

Stabilization of Nonholonomic Systems Using Isospectral Flows.

Anthony M. Bloch, Sergey V. Drakunov, Michael K. Kinyon

SIAM J. Control. Optim., 2000