E-LIB Suche - Ergebnisse für: Wainer, S.

1

A Clifford Bundle Approach to the Wave Equation of a Spin 1..:

Rodrigues Jr., W. A. ; Wainer, S. A. ; Rivera-Tapia, M...
Advances in Applied Clifford Algebras. 26 (2015) 1 - p. 253-277 , 2015

Link: https://doi.org/10.1007/..

2

177: Rehabilitation of Feeding-Tube Dependent and Feeding-D..:

Wainer, S
Paediatrics & Child Health. 19 (2014) 6 - p. e96-e96 , 2014

Link: https://doi.org/10.1093/..

3

Proofs and computations

Perspectives in logic

Schwichtenberg, Helmut ; Wainer, S. S. , 2012

Link: http://dx.doi.org/10.101..

4

Guest Editorial:

Bergstra, J. ; Blanck, J. ; Moller, F..
The Computer Journal. 56 (2012) 1 - p. 2-2 , 2012

Link: https://doi.org/10.1093/..

5

Proofs and Computations

Perspectives in Logic

Schwichtenberg, Helmut ; Wainer, S. S , 2011

Link: https://search.ebscohost..

6

Is measuring the wavelengths for transcutaneous bilirubin m..:

Adams, B. ; Wainer, S. ; Rabi, J..
Clinical Biochemistry. 44 (2011) 13 - p. 1166 , 2011

Link: https://doi.org/10.1016/..

7

Laboratory And Clinical Outcomes of a Regional Transcutaneo..:

Wainer, S ; Lyon, M ; Parmar, SM...
Paediatrics & Child Health. 15 (2010) suppl_A - p. 27A-27A , 2010

Link: https://doi.org/10.1093/..

8

Elementary arithmetic:

Ostrin, G.E. ; Wainer, S.S.
Annals of Pure and Applied Logic. 133 (2005) 1-3 - p. 275-292 , 2005

Link: https://doi.org/10.1016/..

9

Computability, enumerability, unsolvability

directions in recursion theory London Mathematical Society lecture note series ; 224

Slaman, T. ; Wainer, S. ; Cooper, Stuart B. , 1996.

Link: https://doi.org/10.1017/..

10

Computability, enumerability, unsolvability: directions in ..

London Mathematical Society lecture note series, 224

Cooper, S. B ; Slaman, T. A ; Wainer, S. S , 1996

Link: https://search.ebscohost..

11

Equational derivation vs. computation:

Handley, W.G. ; Wainer, S.S.
Annals of Pure and Applied Logic. 70 (1994) 1 - p. 17-49 , 1994

Link: https://doi.org/10.1016/..

12

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/..

13

Ordinal complexity of recursive definitions:

Fairtlough, M.V.H. ; Wainer, S.S.
Information and Computation. 99 (1992) 2 - p. 123-153 , 1992

Link: https://doi.org/10.1016/..

14

Slow Growing Versus Fast Growing:

Wainer, S. S.
The Journal of Symbolic Logic. 54 (1989) 2 - p. 608-614 , 1989

Link: https://www.jstor.org/st..

15

A plus-1 theorem for sub-sections:

Wainer, S. S.
Archive for Mathematical Logic. 27 (1988) 2 - p. 101-105 , 1988

Link: https://doi.org/10.1007/..