Search the dblp DataBase
George F. McNulty :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Publications of Author
George F. McNulty An Equational Logic Sampler. [Citation Graph (0, 0)][DBLP ] RTA, 1989, pp:234-262 [Conf ] Ralph Freese , George F. McNulty , James B. Nation Inherently nonfinitely based lattices. [Citation Graph (0, 0)][DBLP ] Ann. Pure Appl. Logic, 2002, v:115, n:1-3, pp:175-193 [Journal ] George F. McNulty Minimum bases for equational theories of groups and rings: the work of Alfred Tarski and Thomas Green. [Citation Graph (0, 0)][DBLP ] Ann. Pure Appl. Logic, 2004, v:127, n:1-3, pp:131-153 [Journal ] Brian A. Davey , Pawel M. Idziak , William A. Lampe , George F. McNulty Dualizability and graph algebras. [Citation Graph (0, 0)][DBLP ] Discrete Mathematics, 2000, v:214, n:1-3, pp:145-172 [Journal ] Jaroslav Jezek , George F. McNulty Perfect Bases for Equational Theories. [Citation Graph (0, 0)][DBLP ] J. Symb. Comput., 1995, v:19, n:5, pp:489-505 [Journal ] George F. McNulty A Field Guide to Equational Logic. [Citation Graph (0, 0)][DBLP ] J. Symb. Comput., 1992, v:14, n:4, pp:371-398 [Journal ] Jaroslav Jezek , George F. McNulty The Existence of Finitely Based Lower Covers for Finitely Based Equational Theories. [Citation Graph (0, 0)][DBLP ] J. Symb. Log., 1995, v:60, n:4, pp:1242-1250 [Journal ] George F. McNulty Undecidable Properties of Finite Sets of Equations. [Citation Graph (0, 0)][DBLP ] J. Symb. Log., 1976, v:41, n:3, pp:589-604 [Journal ] George F. McNulty Fragments of First Order Logic, I: Universal Horn Logic. [Citation Graph (0, 0)][DBLP ] J. Symb. Log., 1977, v:42, n:2, pp:221-237 [Journal ] George F. McNulty Alfred Tarski and Undecidable Theories. [Citation Graph (0, 0)][DBLP ] J. Symb. Log., 1986, v:51, n:4, pp:890-898 [Journal ] K. A. Baker , George F. McNulty , W. Taylor Growth Problems for Avoidable Words. [Citation Graph (0, 0)][DBLP ] Theor. Comput. Sci., 1989, v:69, n:3, pp:319-345 [Journal ] Joan P. Hutchinson , George F. McNulty Connected graphs of genus g with complementary orbits. [Citation Graph (0, 0)][DBLP ] Discrete Mathematics, 1983, v:45, n:2-3, pp:255-275 [Journal ] Search in 0.003secs, Finished in 0.004secs