dblp.uni-trier.dewww.dagstuhl.dewww.uni-trier.de

George F. McNulty Coauthor index pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys2008
13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGeorge F. McNulty, Zoltán Székely, Ross Willard: Equational Complexity of the Finite Algebra Membership Problem. IJAC 18(8): 1283-1319 (2008)
2004
12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGeorge F. McNulty: Minimum bases for equational theories of groups and rings: the work of Alfred Tarski and Thomas Green. Ann. Pure Appl. Logic 127(1-3): 131-153 (2004)
2002
11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRalph Freese, George F. McNulty, James B. Nation: Inherently nonfinitely based lattices. Ann. Pure Appl. Logic 115(1-3): 175-193 (2002)
2000
10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBrian A. Davey, Pawel M. Idziak, William A. Lampe, George F. McNulty: Dualizability and graph algebras. Discrete Mathematics 214(1-3): 145-172 (2000)
1995
9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJaroslav Jezek, George F. McNulty: Perfect Bases for Equational Theories. J. Symb. Comput. 19(5): 489-505 (1995)
8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJaroslav Jezek, George F. McNulty: The Existence of Finitely Based Lower Covers for Finitely Based Equational Theories. J. Symb. Log. 60(4): 1242-1250 (1995)
1992
7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGeorge F. McNulty: A Field Guide to Equational Logic. J. Symb. Comput. 14(4): 371-398 (1992)
1989
6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGeorge F. McNulty: An Equational Logic Sampler. RTA 1989: 234-262
5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLK. A. Baker, George F. McNulty, W. Taylor: Growth Problems for Avoidable Words. Theor. Comput. Sci. 69(3): 319-345 (1989)
1986
4no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGeorge F. McNulty: Alfred Tarski and Undecidable Theories. J. Symb. Log. 51(4): 890-898 (1986)
1983
3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJoan P. Hutchinson, George F. McNulty: Connected graphs of genus g with complementary orbits. Discrete Mathematics 45(2-3): 255-275 (1983)
1977
2no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGeorge F. McNulty: Fragments of First Order Logic, I: Universal Horn Logic. J. Symb. Log. 42(2): 221-237 (1977)
1976
1no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGeorge F. McNulty: Undecidable Properties of Finite Sets of Equations. J. Symb. Log. 41(3): 589-604 (1976)

Coauthor Index

1K. A. Baker [5]
2Brian A. Davey [10]
3Ralph Freese [11]
4Joan P. Hutchinson [3]
5Pawel M. Idziak [10]
6Jaroslav Jezek [8] [9]
7William A. Lampe [10]
8James B. Nation [11]
9Zoltán Székely [13]
10W. Taylor [5]
11Ross Willard [13]

Colors in the list of coauthors

Last update Sun Jun 3 16:06:10 2012 CET by the DBLP TeamThis material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page