Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Michael K. Kinyon
@article{DBLP:journals/dcc/BaileyCKP22,
author = {Rosemary A. Bailey and
Peter J. Cameron and
Michael Kinyon and
Cheryl E. Praeger},
title = {Diagonal groups and arcs over groups},
journal = {Des. Codes Cryptogr.},
volume = {90},
number = {9},
pages = {2069--2080},
year = {2022},
url = {https://doi.org/10.1007/s10623-021-00907-2},
doi = {10.1007/S10623-021-00907-2},
timestamp = {Mon, 24 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/dcc/BaileyCKP22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/BeesonBKS22,
author = {Michael Beeson and
Maria Paola Bonacina and
Michael Kinyon and
Geoff Sutcliffe},
title = {Larry Wos: Visions of Automated Reasoning},
journal = {J. Autom. Reason.},
volume = {66},
number = {4},
pages = {439--461},
year = {2022},
url = {https://doi.org/10.1007/s10817-022-09620-8},
doi = {10.1007/S10817-022-09620-8},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jar/BeesonBKS22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/flap/IorgulescK21,
author = {Afrodita Iorgulesc and
Michael Kinyon},
title = {Two Generalizations of Bounded Involutive Lattices and of Ortholattices},
journal = {{FLAP}},
volume = {8},
number = {7},
pages = {2173--2218},
year = {2021},
url = {https://collegepublications.co.uk/ifcolog/?00049},
timestamp = {Fri, 27 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/flap/IorgulescK21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/flap/IorgulescK20,
author = {Afrodita Iorgulesc and
Michael Kinyon},
title = {Putting Bounded Involutive Lattices, De Morgan Algebras, Ortholattices
and Boolean Algebras on the "Map"},
journal = {{FLAP}},
volume = {8},
number = {5},
pages = {1169--1214},
year = {2020},
url = {https://collegepublications.co.uk/ifcolog/?00047},
timestamp = {Fri, 27 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/flap/IorgulescK20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/adam/Cvetko-VahKLP19,
author = {Karin Cvetko{-}Vah and
Michael Kinyon and
Jonathan Leech and
Tomaz Pisanski},
title = {Regular antilattices},
journal = {Art Discret. Appl. Math.},
volume = {2},
number = {2},
year = {2019},
url = {https://doi.org/10.26493/2590-9770.1333.152},
doi = {10.26493/2590-9770.1333.152},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/adam/Cvetko-VahKLP19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/AraujoKKM18,
author = {Jo{\~{a}}o Ara{\'{u}}jo and
Michael K. Kinyon and
Janusz Konieczny and
Ant{\'{o}}nio Malheiro},
title = {Decidability and independence of conjugacy problems in finitely presented
monoids},
journal = {Theor. Comput. Sci.},
volume = {731},
pages = {88--98},
year = {2018},
url = {https://doi.org/10.1016/j.tcs.2018.04.002},
doi = {10.1016/J.TCS.2018.04.002},
timestamp = {Fri, 30 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/AraujoKKM18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1808-04251,
author = {Michael Kinyon},
title = {Proof Simplification and Automated Theorem Proving},
journal = {CoRR},
volume = {abs/1808.04251},
year = {2018},
url = {http://arxiv.org/abs/1808.04251},
eprinttype = {arXiv},
eprint = {1808.04251},
timestamp = {Sun, 02 Sep 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1808-04251.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijac/KinyonW15,
author = {Michael Kinyon and
Ian M. Wanless},
title = {Loops with exponent three in all isotopes},
journal = {Int. J. Algebra Comput.},
volume = {25},
number = {7},
pages = {1159--1177},
year = {2015},
url = {https://doi.org/10.1142/S0218196715500356},
doi = {10.1142/S0218196715500356},
timestamp = {Wed, 24 Mar 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ijac/KinyonW15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/order/KinyonL13,
author = {Michael K. Kinyon and
Jonathan Leech},
title = {Categorical Skew Lattices},
journal = {Order},
volume = {30},
number = {3},
pages = {763--777},
year = {2013},
url = {https://doi.org/10.1007/s11083-012-9275-z},
doi = {10.1007/S11083-012-9275-Z},
timestamp = {Thu, 08 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/order/KinyonL13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/KinyonVV13,
author = {Michael K. Kinyon and
Robert Veroff and
Petr Vojtechovsk{\'{y}}},
editor = {Maria Paola Bonacina and
Mark E. Stickel},
title = {Loops with Abelian Inner Mapping Groups: An Application of Automated
Deduction},
booktitle = {Automated Reasoning and Mathematics - Essays in Memory of William
W. McCune},
series = {Lecture Notes in Computer Science},
volume = {7788},
pages = {151--164},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-36675-8\_8},
doi = {10.1007/978-3-642-36675-8\_8},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/KinyonVV13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ejc/AraujoKK11,
author = {Jo{\~{a}}o Ara{\'{u}}jo and
Michael K. Kinyon and
Janusz Konieczny},
title = {Minimal paths in the commuting graphs of semigroups},
journal = {Eur. J. Comb.},
volume = {32},
number = {2},
pages = {178--197},
year = {2011},
url = {https://doi.org/10.1016/j.ejc.2010.09.004},
doi = {10.1016/J.EJC.2010.09.004},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ejc/AraujoKK11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lmsjcm/JohnsonKNV11,
author = {Kenneth W. Johnson and
Michael K. Kinyon and
G{\'{a}}bor P{\'{e}}ter Nagy and
Petr Vojtechovsk{\'{y}}},
title = {Searching for small simple automorphic loops},
journal = {{LMS} J. Comput. Math.},
volume = {14},
pages = {200--213},
year = {2011},
url = {https://doi.org/10.1112/s1461157010000173},
doi = {10.1112/S1461157010000173},
timestamp = {Fri, 22 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/lmsjcm/JohnsonKNV11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/order/Cvetko-VahKLS11,
author = {Karin Cvetko{-}Vah and
Michael K. Kinyon and
Jonathan Leech and
Matthew Spinks},
title = {Cancellation in Skew Lattices},
journal = {Order},
volume = {28},
number = {1},
pages = {9--32},
year = {2011},
url = {https://doi.org/10.1007/s11083-010-9151-7},
doi = {10.1007/S11083-010-9151-7},
timestamp = {Thu, 08 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/order/Cvetko-VahKLS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijac/CsorgoDK09,
author = {Piroska Cs{\"{o}}rg{\"{o}} and
Ales Dr{\'{a}}pal and
Michael K. Kinyon},
title = {Buchsteiner Loops},
journal = {Int. J. Algebra Comput.},
volume = {19},
number = {8},
pages = {1049--1088},
year = {2009},
url = {https://doi.org/10.1142/S0218196709005482},
doi = {10.1142/S0218196709005482},
timestamp = {Tue, 25 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijac/CsorgoDK09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tamm/AlvisK01,
author = {Dean Alvis and
Michael K. Kinyon},
title = {Birkhoff's Theorem for Panstochastic Matrices},
journal = {Am. Math. Mon.},
volume = {108},
number = {1},
pages = {28--37},
year = {2001},
url = {http://www.jstor.org/stable/2695673},
timestamp = {Thu, 18 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tamm/AlvisK01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siamco/BlochDK00,
author = {Anthony M. Bloch and
Sergey V. Drakunov and
Michael K. Kinyon},
title = {Stabilization of Nonholonomic Systems Using Isospectral Flows},
journal = {{SIAM} J. Control. Optim.},
volume = {38},
number = {3},
pages = {855--874},
year = {2000},
url = {https://doi.org/10.1137/S0363012998335607},
doi = {10.1137/S0363012998335607},
timestamp = {Thu, 09 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/siamco/BlochDK00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-03-24 00:05 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
