BibTeX records: Ralph McKenzie

download as .bib file

@article{DBLP:journals/order/MarkovicMM12,
  author       = {Petar Markovic and
                  Mikl{\'{o}}s Mar{\'{o}}ti and
                  Ralph McKenzie},
  title        = {Finitely Related Clones and Algebras with Cube Terms},
  journal      = {Order},
  volume       = {29},
  number       = {2},
  pages        = {345--359},
  year         = {2012},
  url          = {https://doi.org/10.1007/s11083-011-9232-2},
  doi          = {10.1007/S11083-011-9232-2},
  timestamp    = {Thu, 08 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/order/MarkovicMM12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/order/JezekM10,
  author       = {Jaroslav Jezek and
                  Ralph McKenzie},
  title        = {Definability in Substructure Orderings, {II:} Finite Ordered Sets},
  journal      = {Order},
  volume       = {27},
  number       = {2},
  pages        = {115--145},
  year         = {2010},
  url          = {https://doi.org/10.1007/s11083-010-9141-9},
  doi          = {10.1007/S11083-010-9141-9},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/order/JezekM10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siamcomp/IdziakMMVW10,
  author       = {Pawel M. Idziak and
                  Petar Markovic and
                  Ralph McKenzie and
                  Matthew Valeriote and
                  Ross Willard},
  title        = {Tractability and Learnability Arising from Algebras with Few Subpowers},
  journal      = {{SIAM} J. Comput.},
  volume       = {39},
  number       = {7},
  pages        = {3023--3037},
  year         = {2010},
  url          = {https://doi.org/10.1137/090775646},
  doi          = {10.1137/090775646},
  timestamp    = {Fri, 09 Apr 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/siamcomp/IdziakMMVW10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/IdziakMMVW07,
  author       = {Pawel M. Idziak and
                  Petar Markovic and
                  Ralph McKenzie and
                  Matthew Valeriote and
                  Ross Willard},
  title        = {Tractability and learnability arising from algebras with few subpowers},
  booktitle    = {22nd {IEEE} Symposium on Logic in Computer Science {(LICS} 2007),
                  10-12 July 2007, Wroclaw, Poland, Proceedings},
  pages        = {213--224},
  publisher    = {{IEEE} Computer Society},
  year         = {2007},
  url          = {https://doi.org/10.1109/LICS.2007.50},
  doi          = {10.1109/LICS.2007.50},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/lics/IdziakMMVW07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijac/JacksonM06,
  author       = {Marcel Jackson and
                  Ralph McKenzie},
  title        = {Interpreting Graph Colorability in Finite Semigroups},
  journal      = {Int. J. Algebra Comput.},
  volume       = {16},
  number       = {1},
  pages        = {119--140},
  year         = {2006},
  url          = {https://doi.org/10.1142/S0218196706002846},
  doi          = {10.1142/S0218196706002846},
  timestamp    = {Tue, 25 Aug 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ijac/JacksonM06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sLogica/AdarichevaMZMN06,
  author       = {Kira V. Adaricheva and
                  Ralph McKenzie and
                  Eric Richard Zenk and
                  Mikl{\'{o}}s Mar{\'{o}}ti and
                  James B. Nation},
  title        = {The J{\'{o}}nsson-Kiefer Property},
  journal      = {Stud Logica},
  volume       = {83},
  number       = {1-3},
  pages        = {111--131},
  year         = {2006},
  url          = {https://doi.org/10.1007/s11225-006-8300-x},
  doi          = {10.1007/S11225-006-8300-X},
  timestamp    = {Tue, 01 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sLogica/AdarichevaMZMN06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/McKenzieM04,
  author       = {Ralph McKenzie and
                  J. Donald Monk},
  title        = {On some small cardinals for Boolean algebras},
  journal      = {J. Symb. Log.},
  volume       = {69},
  number       = {3},
  pages        = {674--682},
  year         = {2004},
  url          = {https://doi.org/10.2178/jsl/1096901761},
  doi          = {10.2178/JSL/1096901761},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jsyml/McKenzieM04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sLogica/MarotiM04,
  author       = {Mikl{\'{o}}s Mar{\'{o}}ti and
                  Ralph McKenzie},
  title        = {Finite basis problems and results for quasivarieties},
  journal      = {Stud Logica},
  volume       = {78},
  number       = {1-2},
  pages        = {293--320},
  year         = {2004},
  url          = {https://doi.org/10.1007/s11225-005-3320-5},
  doi          = {10.1007/S11225-005-3320-5},
  timestamp    = {Fri, 12 Mar 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/sLogica/MarotiM04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/order/McKenzie03,
  author       = {Ralph McKenzie},
  title        = {The Zig-Zag Property and Exponential Cancellation of Ordered Sets},
  journal      = {Order},
  volume       = {20},
  number       = {3},
  pages        = {185--221},
  year         = {2003},
  url          = {https://doi.org/10.1023/B:ORDE.0000026529.04361.f8},
  doi          = {10.1023/B:ORDE.0000026529.04361.F8},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/order/McKenzie03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijac/McKenzieW01,
  author       = {Ralph McKenzie and
                  Japheth Wood},
  title        = {The Type Set of a Variety is Not Computable},
  journal      = {Int. J. Algebra Comput.},
  volume       = {11},
  number       = {1},
  pages        = {89--130},
  year         = {2001},
  url          = {https://doi.org/10.1142/S0218196701000504},
  doi          = {10.1142/S0218196701000504},
  timestamp    = {Tue, 25 Aug 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ijac/McKenzieW01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dm/JezekMMM00,
  author       = {Jaroslav Jezek and
                  Petar Markovic and
                  Mikl{\'{o}}s Mar{\'{o}}ti and
                  Ralph McKenzie},
  title        = {Equations of tournaments are not finitely based},
  journal      = {Discret. Math.},
  volume       = {211},
  pages        = {243--248},
  year         = {2000},
  url          = {https://doi.org/10.1016/S0012-365X(99)00155-7},
  doi          = {10.1016/S0012-365X(99)00155-7},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/dm/JezekMMM00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/McKenzie00,
  author       = {Ralph McKenzie},
  title        = {Recursive Inseparability for Residual Bounds of Finite Algebras},
  journal      = {J. Symb. Log.},
  volume       = {65},
  number       = {4},
  pages        = {1863--1880},
  year         = {2000},
  url          = {https://doi.org/10.2307/2695083},
  doi          = {10.2307/2695083},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jsyml/McKenzie00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/order/McKenzie00,
  author       = {Ralph McKenzie},
  title        = {Arithmetic of Finite Ordered Sets: Cancellation of Exponents, {II}},
  journal      = {Order},
  volume       = {17},
  number       = {4},
  pages        = {309--332},
  year         = {2000},
  url          = {https://doi.org/10.1023/A:1006449213916},
  doi          = {10.1023/A:1006449213916},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/order/McKenzie00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/order/McKenzie99,
  author       = {Ralph McKenzie},
  title        = {Arithmetic of Finite Ordered Sets: Cancellation of Exponents, {I}},
  journal      = {Order},
  volume       = {16},
  number       = {4},
  pages        = {313--333},
  year         = {1999},
  url          = {https://doi.org/10.1023/A:1006457114427},
  doi          = {10.1023/A:1006457114427},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/order/McKenzie99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijac/McKenzie96,
  author       = {Ralph McKenzie},
  title        = {The Residual Bounds of Finite Algebras},
  journal      = {Int. J. Algebra Comput.},
  volume       = {6},
  number       = {1},
  pages        = {1--28},
  year         = {1996},
  url          = {https://doi.org/10.1142/S0218196796000027},
  doi          = {10.1142/S0218196796000027},
  timestamp    = {Tue, 25 Aug 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ijac/McKenzie96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijac/McKenzie96a,
  author       = {Ralph McKenzie},
  title        = {The Residual Bound of a Finite Algebra is not Computable},
  journal      = {Int. J. Algebra Comput.},
  volume       = {6},
  number       = {1},
  pages        = {29--48},
  year         = {1996},
  url          = {https://doi.org/10.1142/S0218196796000039},
  doi          = {10.1142/S0218196796000039},
  timestamp    = {Tue, 25 Aug 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ijac/McKenzie96a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijac/McKenzie96b,
  author       = {Ralph McKenzie},
  title        = {Tarski's Finite Basis Problem is Undecidable},
  journal      = {Int. J. Algebra Comput.},
  volume       = {6},
  number       = {1},
  pages        = {49--104},
  year         = {1996},
  url          = {https://doi.org/10.1142/S0218196796000040},
  doi          = {10.1142/S0218196796000040},
  timestamp    = {Tue, 25 Aug 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ijac/McKenzie96b.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/BurrisMV91,
  author       = {Stanley Burris and
                  Ralph McKenzie and
                  Matthew Valeriote},
  title        = {Decidable Discriminator Varieties from Unary Varieties},
  journal      = {J. Symb. Log.},
  volume       = {56},
  number       = {4},
  pages        = {1355--1368},
  year         = {1991},
  url          = {https://doi.org/10.2307/2275480},
  doi          = {10.2307/2275480},
  timestamp    = {Fri, 09 Apr 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jsyml/BurrisMV91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/daglib/0068166,
  author       = {Ralph McKenzie and
                  Matthew Valeriote},
  title        = {Structure of decidable locally finite varieties},
  series       = {Progress in mathematics},
  volume       = {79},
  publisher    = {Birkh{\"{a}}user},
  year         = {1989},
  isbn         = {978-3-7643-3439-0},
  timestamp    = {Fri, 12 Jul 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/books/daglib/0068166.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dm/BermanM84,
  author       = {Joel Berman and
                  Ralph McKenzie},
  title        = {Clones satisfying the term condition},
  journal      = {Discret. Math.},
  volume       = {52},
  number       = {1},
  pages        = {7--21},
  year         = {1984},
  url          = {https://doi.org/10.1016/0012-365X(84)90100-6},
  doi          = {10.1016/0012-365X(84)90100-6},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/dm/BermanM84.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/McKenzieM82,
  author       = {Ralph McKenzie and
                  J. Donald Monk},
  title        = {Chains in Boolean algebras},
  journal      = {Ann. Math. Log.},
  volume       = {22},
  number       = {2},
  pages        = {137--175},
  year         = {1982},
  url          = {https://doi.org/10.1016/0003-4843(82)90019-5},
  doi          = {10.1016/0003-4843(82)90019-5},
  timestamp    = {Mon, 18 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/apal/McKenzieM82.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dm/MckenzieQ81,
  author       = {Ralph McKenzie and
                  Robert W. Quackenbush},
  title        = {The spectrum of a lattice-primal algebra},
  journal      = {Discret. Math.},
  volume       = {35},
  number       = {1-3},
  pages        = {157--163},
  year         = {1981},
  url          = {https://doi.org/10.1016/0012-365X(81)90204-1},
  doi          = {10.1016/0012-365X(81)90204-1},
  timestamp    = {Mon, 21 Mar 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/dm/MckenzieQ81.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Mckenzie75,
  author       = {Ralph McKenzie},
  title        = {On Spectra, and the Negative Solution of the Decision Problem for
                  Identities having a Finite Nontrivial Model},
  journal      = {J. Symb. Log.},
  volume       = {40},
  number       = {2},
  pages        = {186--196},
  year         = {1975},
  url          = {https://doi.org/10.2307/2271899},
  doi          = {10.2307/2271899},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jsyml/Mckenzie75.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/McKenzie71,
  author       = {Ralph McKenzie},
  title        = {Negative Solution of the Decision Problem for Sentences True in Every
                  Subalgebra of {\textless} N, + {\textgreater}},
  journal      = {J. Symb. Log.},
  volume       = {36},
  number       = {4},
  pages        = {607--609},
  year         = {1971},
  url          = {https://doi.org/10.2307/2272464},
  doi          = {10.2307/2272464},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jsyml/McKenzie71.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mst/McKenzieMT71,
  author       = {Ralph McKenzie and
                  Jan Mycielski and
                  David Thompson},
  title        = {On Boolean Functions and Connected Sets},
  journal      = {Math. Syst. Theory},
  volume       = {5},
  number       = {3},
  pages        = {259--270},
  year         = {1971},
  url          = {https://doi.org/10.1007/BF01694182},
  doi          = {10.1007/BF01694182},
  timestamp    = {Sun, 17 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/mst/McKenzieMT71.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics