The lambda-gamma calculus: A language adequate for defining recursive functions
- P.C. Gilmore
- 1970
- Information Sciences
Publications
24435 results for Exploratory Science
Modulator Frequency Detuning Effects in the FM Mode-Locked. Laser
- Dirk J. Kuizenga
- 1970
- IEEE JQE
Microwave Self-Modulation of a Diode Laser Coupled to an External Cavity
- Ronald F. Broom
- Eugen Mohn
- et al.
- 1970
- IEEE JQE
An Iterative Procedure for Solving Convex Optimal Control Problems
- Earl R. Barnes
- 1970
- IEEE TACON
Bounded input bounded output stability of systemsf
- Roger M Goldwyn
- K.S. Chao
- et al.
- 1970
- International Journal of Control
A phenomenological theory of streaming birefringence
- Bernard D. Coleman
- Ellis H. Dill
- et al.
- 1970
- Archive for Rational Mechanics and Analysis
The reaction of oxygen with silicon and germanium at elevated temperatures by weight loss measurement
- R.F. Lever
- H.R. Wendt
- 1970
- Surface Science
Some results on sparse matrices
- Robert K. Brayton
- Fred G. Gustavson
- et al.
- 1970
- Mathematics of Computation
The solution of the problem of integration in finite terms
- Robert H. Risch
- 1970
- Bulletin of the American Mathematical Society
A new discrete analog of the legendre polynomials
- M. Wayne Wilson
- 1970
- Bulletin of the American Mathematical Society