George F. McNulty

16 papers Journal 15Unranked 1
YearRankTypeTitle / Venue / Authors
2018 J jnl
A Functional Equation Characterization of Archimedean Ordered Fields.
Am. Math. Mon.
Ralph Howard, Virginia Johnson, George F. McNulty
2018 J jnl
Some Variations on a Theme of Irina Mel'nichuk Concerning the Avoidability of Patterns in Strings of Symbols.
Electron. J. Comb.
George F. McNulty
2008 J jnl
Equational Complexity of the Finite Algebra Membership Problem.
Int. J. Algebra Comput.
George F. McNulty, Zoltán Székely, Ross Willard
2004 J jnl
Minimum bases for equational theories of groups and rings: the work of Alfred Tarski and Thomas Green.
Ann. Pure Appl. Log.
George F. McNulty
2002 J jnl
Inherently nonfinitely based lattices.
Ann. Pure Appl. Log.
Ralph Freese, George F. McNulty, James B. Nation
2000 J jnl
Dualizability and graph algebras.
Discret. Math.
Brian A. Davey, Pawel M. Idziak, William A. Lampe, George F. McNulty
1995 J jnl
Perfect Bases for Equational Theories.
J. Symb. Comput.
Jaroslav Jezek, George F. McNulty
1995 J jnl
The Existence of Finitely Based Lower Covers for Finitely Based Equational Theories.
J. Symb. Log.
Jaroslav Jezek, George F. McNulty
1992 J jnl
A Field Guide to Equational Logic.
J. Symb. Comput.
George F. McNulty
1989 — conf
An Equational Logic Sampler.
RTA
George F. McNulty
1989 J jnl
Growth Problems for Avoidable Words.
Theor. Comput. Sci.
K. A. Baker, George F. McNulty, Walter Taylor
1986 J jnl
Alfred Tarski and Undecidable Theories.
J. Symb. Log.
George F. McNulty
1983 J jnl
Connected graphs of genus g with complementary orbits.
Discret. Math.
Joan P. Hutchinson, George F. McNulty
1977 J jnl
Fragments of First Order Logic, I: Universal Horn Logic.
J. Symb. Log.
George F. McNulty
1976 J jnl
Undecidable Properties of Finite Sets of Equations.
J. Symb. Log.
George F. McNulty
1975 J jnl
Combinatory interpolation theorems.
Discret. Math.
George F. McNulty, Walter Taylor