Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren Datenschutzerklärungen .
X
Simmons, Harold
113  Ergebnisse:
Personensuche X
?
1

Flash Atomization: A New Concept to Control Combustion Inst..:

Iyengar, Vishwas ; Simmons, Harold ; Ransom, David
Journal of Combustion.  2012 (2012)  - p. 1-10 , 2012
Link: https://doi.org/10.1155/..
 
?
2

An introduction to category theory:

Simmons, Harold , 2011
Link: https://doi.org/10.1017/..

Exemplar:  Zentrale:E02 a mat 129.3/110
 
?
3

An introduction to category theory:

Simmons, Harold , 2011
Link: https://search.ebscohost..
 
?
4

A decomposition theory for complete modular meet-continuous..:

Simmons, Harold
Algebra universalis.  64 (2010)  3-4 - p. 349-377 , 2010
Link: https://doi.org/10.1007/..
 
?
5

A curious nucleus:

Simmons, Harold
Journal of Pure and Applied Algebra.  214 (2010)  11 - p. 2063-2073 , 2010
Link: https://doi.org/10.1016/..
 
?
6

Fruitful and helpful ordinal functions:

Simmons, Harold
Archive for Mathematical Logic.  47 (2008)  7-8 - p. 677-709 , 2008
Link: https://doi.org/10.1007/..
 
?
7

A coverage construction of the reals and the irrationals:

Simmons, Harold
Annals of Pure and Applied Logic.  145 (2007)  2 - p. 176-203 , 2007
Link: https://doi.org/10.1016/..
 
?
8

Regularity, Fitness, and the Block Structure of Frames:

Simmons, Harold
Applied Categorical Structures.  14 (2006)  1 - p. 1-34 , 2006
Link: https://doi.org/10.1007/..
 
?
9

The extended Cantor?Bendixson analysis of trees:

Simmons, Harold
algebra universalis.  52 (2005)  4 - p. 439-468 , 2005
Link: https://doi.org/10.1007/..
 
?
10

Tiering as a Recursion Technique:

Simmons, Harold
The Bulletin of Symbolic Logic.  11 (2005)  3 - p. 321-350 , 2005
Link: https://www.jstor.org/st..
 
?
11

A comparison of two systems of ordinal notations:

Simmons, Harold
Archive for Mathematical Logic.  43 (2004)  1 - p. 65-83 , 2004
Link: https://doi.org/10.1007/..
 
?
12

The Monotonous Elimination of Predicate Variables:

SIMMONS, HAROLD
Journal of Logic and Computation.  4 (1994)  1 - p. 23-68 , 1994
Link: https://doi.org/10.1093/..
 
?
13

Proof theory 

a selection of papers from the Leeds Proof Theory Programme... 
Simmons, Harold ; Aczel, Peter ; Wainer, S. S. , 1993
Link: https://doi.org/10.1017/..

Exemplar:  Zentrale:E02 a mat 026.5 i/448
 
?
14

Generalized deviations of posets:

Simmons, Harold
Discrete Mathematics.  98 (1991)  2 - p. 123-139 , 1991
Link: https://doi.org/10.1016/..
 
?
15

Compact representations—The lattice theory of compact ringe..:

Simmons, Harold
Journal of Algebra.  126 (1989)  2 - p. 493-531 , 1989
Link: https://doi.org/10.1016/..
 
1-15