Harold Simmons

List of publications from the DBLP Bibliography Server - FAQ
Other views: by type - by year (modern) - classic-C

Ask others: ACM DL/Guide -

- CSB - MetaPress - Google - Bing - Yahoo

	2010
j14		Harold Simmons: The Ackermann functions are not optimal, but by how much? J. Symb. Log. 75(1): 289-313 (2010)
	2008
j13		Harold Simmons: Fruitful and helpful ordinal functions. Arch. Math. Log. 47(7-8): 677-709 (2008)
	2007
j12		Harold Simmons: A coverage construction of the reals and the irrationals. Ann. Pure Appl. Logic 145(2): 176-203 (2007)
	2006
j11		Harold Simmons: Regularity, Fitness, and the Block Structure of Frames. Applied Categorical Structures 14(1): 1-34 (2006)
	2005
j10		Harold Simmons: Tiering as a recursion technique. Bulletin of Symbolic Logic 11(3): 321-350 (2005)
	2004
j9		Harold Simmons: A comparison of two systems of ordinal notations. Arch. Math. Log. 43(1): 65-84 (2004)
	2002
j8		William P. R. Mitchell, Harold Simmons: Monoid Based Semantics for Linear Formulas. J. Symb. Log. 67(2): 505-527 (2002)
	2001
j7		William P. R. Mitchell, Harold Simmons: Monoid Based Semantics for Linear Formulas. J. Symb. Log. 66(4): 1597-1619 (2001)
	1994
j6		Harold Simmons: The Monotonous Elimination of Predicate Variables. J. Log. Comput. 4(1): 23-68 (1994)
j5		Harold Simmons: The Glueing Construction and Lax Limits. Mathematical Structures in Computer Science 4(4): 393-431 (1994)
	1991
j4		Harold Simmons: Generalized deviations of posets. Discrete Mathematics 98(2): 123-139 (1991)
	1988
j3		Harold Simmons: Large Discrete Parts of the E-Tree. J. Symb. Log. 53(3): 980-984 (1988)
	1976
j2		Harold Simmons: Large and Small Existentially Closed Structures. J. Symb. Log. 41(2): 379-390 (1976)
	1972
j1		Harold Simmons: Existentially Closed Structures. J. Symb. Log. 37(2): 293-310 (1972)

Coauthor Index

William P. R. Mitchell

[j8] [j7]

Last update Sun May 19 02:31:36 2013 CET by the DBLP Team —

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