An interpretation-oriented theorem prover over integers
- James C. King
- Robert W. Floyd
- 1972
- Journal of Computer and System Sciences
Paper
Publications
3611 results for Mathematical Sciences
Minimal realization of machines in closed categories
- J.A. Goguen
- 1972
- Bulletin of the American Mathematical Society
PaperAnalysis of methods for calculating spectral properties in solids
- G Gilat
- 1972
- Journal of Computational Physics
PaperOn linear volterra integral equations of convolution type
- John S. Lew
- 1972
- Proceedings of the American Mathematical Society
PaperA generalization of the theory of incompletely specified machines
- D.E. Muller
- R.E. Miller
- 1972
- Journal of Computer and System Sciences
PaperWaiting lines in multiple loop systems
- Alan G Konheim
- Bernd Meister
- 1972
- J. Math. Anal. Appl.
PaperA continuity theorem for fuchsian groupsc)
- C.K. Wong
- 1972
- Trans. Am. Math. Soc.
PaperEigenvalues and partitionings of the edges of a graph
- A.J. Hoffman
- 1972
- Linear Algebra and Its Applications
PaperThe zeros of the partial sums of the exponential function*
- D.J Newman
- T.J Rivlin
- 1972
- Journal of Approximation Theory
PaperSequential treatment allocation in clinical trials
- B.J. Flehinger
- T.A. Louis
- 1971
- Biometrika
Paper