Kirby A. Baker

Computer Science · Physical Sciences

16h-index1.3kcitations40works0.02yr avg
OpenAlex↗Google Scholar↗

Accepting Students?

No reports yet. Know if this professor is taking students?

Research Topics

Advanced Algebra and Logic(25), semigroups and automata theory(14), Logic, Reasoning, and Knowledge(8), Rough Sets and Fuzzy Logic(8), Mathematical Dynamics and Fractals(5)

Publications40 total

Zilber's Theorem for planar lattices, revisited
arXiv (Cornell University)·2021Open Access
Zilber’s Theorem for planar lattices, revisited
Acta Scientiarum Mathematicarum·2020· 1 cited
Bjarni Jónsson’s contributions in algebra: an addendum
Algebra Universalis·2017
Van Vleck correction generalization for complex correlators with multilevel quantization
arXiv (Cornell University)·2016· 10 citedOpen Access
Approximate distributive laws and finite equational bases for finite algebras in congruence-distributive varieties
Algebra Universalis·2005· 3 cited
An extension of Willard?s Finite Basis Theorem: Congruence meet-semidistributive varieties of finite critical depth
Algebra Universalis·2005· 11 cited
Congruence intersection properties for varieties of algebras
Journal of the Australian Mathematical Society Series A Pure Mathematics and Statistics·1999· 6 citedOpen Access
Congruence properties of two-generated varieties
Use Siena air (University of Siena)·1999
The role of dental professionals and the patient in plaque control
Periodontology 2000·1995· 16 cited
Bjarni J�nsson's contributions in algebra
Algebra Universalis·1994· 4 cited
Growth problems for avoidable words
Theoretical Computer Science·1989· 68 cited
Shift-automorphism methods for inherently nonfinitely based varieties of algebras
Czechoslovak Mathematical Journal·1989· 16 citedOpen Access
Strong shift equivalence and shear adjacency of nonnegative square integer matrices
Linear Algebra and its Applications·1987· 41 cited
Nondefinability of projectivity in lattice varieties
Algebra Universalis·1983· 4 cited
Strong shift equivalence of 2 × 2 matrices of non-negative integers
Ergodic Theory and Dynamical Systems·1983· 43 citedOpen Access
Congruence—distributive polynomial reducts of lattices
Algebra Universalis·1979· 14 cited
Finite equational bases for finite algebras in a congruence-distributive equational class
Advances in Mathematics·1977· 63 cited
Finite equational bases for finite algebras in a congruence-distributive equational class
Advances in Mathematics·1977· 107 cited
Equational axions for classes of Heyting algebras
Algebra Universalis·1976· 9 cited
Polynomial interpolation and the Chinese Remainder Theorem for algebraic systems
Mathematische Zeitschrift·1975· 225 cited
page 1 of 2Next →

Frequent Co-authors

Fred S. Roberts(4), George F. McNulty(3), Peter C. Fishburn(3), Alfred W. Hales(3), Ju Wang(2), Paolo Aglianò(2), George Grätzer(2), Alden F. Pixley(1), P. C. Fishburn(1), Walter RJ Taylor(1), Albert Stralka(1), Heinrich Werner(1), L. Benkevitch(1), R. J. Cappallo(1), C. J. Lonsdale(1), A. E. E. Rogers(1), Divya Oberoi(1), P. J. Erickson(1)