G. C. Nelson

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

- CSB - MetaPress - Google - Bing - Yahoo

1992

5 G. C. Nelson: Constructive Ultraproducts and Isomorphisms of Recursively Saturated Ultrapowers. Notre Dame Journal of Formal Logic 33(3): 433-441 (1992)

1988

4 G. C. Nelson: Other logics for (equational) theories. Algebraic Logic and Universal Algebra in Computer Science 1988: 181-194

1983

3 G. C. Nelson: Logic of Reduced Power Structures. J. Symb. Log. 48(1): 53-59 (1983)

2 G. C. Nelson: Addendum to "Logic of Reduced Power Structures". J. Symb. Log. 48(4): 1145 (1983)

1980

1 J. Mead, G. C. Nelson: Model Companions and k-Model Completeness for the Complete Theories of Boolean Algebras. J. Symb. Log. 45(1): 47-55 (1980)

	1992
5		G. C. Nelson: Constructive Ultraproducts and Isomorphisms of Recursively Saturated Ultrapowers. Notre Dame Journal of Formal Logic 33(3): 433-441 (1992)
	1988
4		G. C. Nelson: Other logics for (equational) theories. Algebraic Logic and Universal Algebra in Computer Science 1988: 181-194
	1983
3		G. C. Nelson: Logic of Reduced Power Structures. J. Symb. Log. 48(1): 53-59 (1983)
2		G. C. Nelson: Addendum to "Logic of Reduced Power Structures". J. Symb. Log. 48(4): 1145 (1983)
	1980
1		J. Mead, G. C. Nelson: Model Companions and k-Model Completeness for the Complete Theories of Boolean Algebras. J. Symb. Log. 45(1): 47-55 (1980)

Coauthor Index

1 J. Mead [1]

Last update Fri May 25 01:42:58 2012 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page