Search the dblp DataBase
Harold Simmons :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Publications of Author
Harold Simmons Regularity, Fitness, and the Block Structure of Frames. [Citation Graph (0, 0)][DBLP ] Applied Categorical Structures, 2006, v:14, n:1, pp:1-34 [Journal ] Harold Simmons A comparison of two systems of ordinal notations. [Citation Graph (0, 0)][DBLP ] Arch. Math. Log., 2004, v:43, n:1, pp:65-84 [Journal ] Harold Simmons A coverage construction of the reals and the irrationals. [Citation Graph (0, 0)][DBLP ] Ann. Pure Appl. Logic, 2007, v:145, n:2, pp:176-203 [Journal ] Harold Simmons Tiering as a recursion technique. [Citation Graph (0, 0)][DBLP ] Bulletin of Symbolic Logic, 2005, v:11, n:3, pp:321-350 [Journal ] William P. R. Mitchell , Harold Simmons Monoid Based Semantics for Linear Formulas. [Citation Graph (0, 0)][DBLP ] J. Symb. Log., 2001, v:66, n:4, pp:1597-1619 [Journal ] William P. R. Mitchell , Harold Simmons Monoid Based Semantics for Linear Formulas. [Citation Graph (0, 0)][DBLP ] J. Symb. Log., 2002, v:67, n:2, pp:505-527 [Journal ] Harold Simmons Existentially Closed Structures. [Citation Graph (0, 0)][DBLP ] J. Symb. Log., 1972, v:37, n:2, pp:293-310 [Journal ] Harold Simmons Large and Small Existentially Closed Structures. [Citation Graph (0, 0)][DBLP ] J. Symb. Log., 1976, v:41, n:2, pp:379-390 [Journal ] Harold Simmons Large Discrete Parts of the E-Tree. [Citation Graph (0, 0)][DBLP ] J. Symb. Log., 1988, v:53, n:3, pp:980-984 [Journal ] Harold Simmons The Monotonous Elimination of Predicate Variables. [Citation Graph (0, 0)][DBLP ] J. Log. Comput., 1994, v:4, n:1, pp:23-68 [Journal ] Harold Simmons The Glueing Construction and Lax Limits. [Citation Graph (0, 0)][DBLP ] Mathematical Structures in Computer Science, 1994, v:4, n:4, pp:393-431 [Journal ] Harold Simmons Generalized deviations of posets. [Citation Graph (0, 0)][DBLP ] Discrete Mathematics, 1991, v:98, n:2, pp:123-139 [Journal ] Fruitful and helpful ordinal functions. [Citation Graph (, )][DBLP ] Search in 0.057secs, Finished in 0.058secs