Harold Simmons

15 papers Journal 15
YearRankTypeTitle / Venue / Authors
2010 J jnl
The Ackermann functions are not optimal, but by how much?
J. Symb. Log.
Harold Simmons
2008 J jnl
Fruitful and helpful ordinal functions.
Arch. Math. Log.
Harold Simmons
2007 J jnl
A coverage construction of the reals and the irrationals.
Ann. Pure Appl. Log.
Harold Simmons
2006 J jnl
Regularity, Fitness, and the Block Structure of Frames.
Appl. Categorical Struct.
Harold Simmons
2005 J jnl
Tiering as a recursion technique.
Bull. Symb. Log.
Harold Simmons
2004 J jnl
A comparison of two systems of ordinal notations.
Arch. Math. Log.
Harold Simmons
2002 J jnl
Monoid Based Semantics for Linear Formulas.
J. Symb. Log.
William P. R. Mitchell, Harold Simmons
2001 J jnl
Monoid Based Semantics for Linear Formulas.
J. Symb. Log.
William P. R. Mitchell, Harold Simmons
1994 J jnl
The Glueing Construction and Lax Limits.
Math. Struct. Comput. Sci.
Harold Simmons
1994 J jnl
The Monotonous Elimination of Predicate Variables.
J. Log. Comput.
Harold Simmons
1991 J jnl
Generalized deviations of posets.
Discret. Math.
Harold Simmons
1988 J jnl
Large Discrete Parts of the E-Tree.
J. Symb. Log.
Harold Simmons
1988 J jnl
The realm of primitive recursion.
Arch. Math. Log.
Harold Simmons
1976 J jnl
Large and Small Existentially Closed Structures.
J. Symb. Log.
Harold Simmons
1972 J jnl
Existentially Closed Structures.
J. Symb. Log.
Harold Simmons