Michael Kinyon

Publication Activity (10 Years)

Years Active: 2015-2022
Publications (10 Years): 7

Top Topics

Order Statistics

Boolean Algebra

Automated Reasoning

Theorem Proving

Top Venues

Des. Codes Cryptogr.

Art Discret. Appl. Math.

Publications

Michael Beeson, Maria Paola Bonacina, Michael Kinyon, Geoff Sutcliffe
Larry Wos: Visions of Automated Reasoning. J. Autom. Reason. 66 (4) (2022)
Rosemary A. Bailey, Peter J. Cameron, Michael Kinyon, Cheryl E. Praeger
Diagonal groups and arcs over groups. Des. Codes Cryptogr. 90 (9) (2022)
Afrodita Iorgulesc, Michael Kinyon
Two Generalizations of Bounded Involutive Lattices and of Ortholattices. FLAP 8 (7) (2021)
Afrodita Iorgulesc, Michael Kinyon
Putting Bounded Involutive Lattices, De Morgan Algebras, Ortholattices and Boolean Algebras on the "Map". FLAP 8 (5) (2020)
Karin Cvetko-Vah, Michael Kinyon, Jonathan Leech, Tomaz Pisanski
Regular antilattices. Art Discret. Appl. Math. 2 (2) (2019)
Michael Kinyon
Proof Simplification and Automated Theorem Proving. CoRR (2018)
Michael Kinyon, Ian M. Wanless
Loops with exponent three in all isotopes. Int. J. Algebra Comput. 25 (7) (2015)