Unbounded fan-in circuits and associative functions
- Ashok K. Chandra
- Steven Fortune
- et al.
- 1985
- Journal of Computer and System Sciences
Paper
Publications
3613 results for Mathematical Sciences
Decision procedures and expressiveness in the temporal logic of branching time
- E.Allen Emerson
- Joseph Y. Halpern
- 1985
- Journal of Computer and System Sciences
PaperAn Approach to Expert Control of Interactive Software Systems
- Chidanand V. Apté
- Sholom M. Weiss
- 1985
- IEEE TPAMI
PaperA note on minimal covers for sofic systems
- Mike Boyle
- Bruce Kitchens
- et al.
- 1985
- Proceedings of the American Mathematical Society
PaperEstimation of the generalized extreme-value distribution by the method of probability-weighted moments
- J.R.M. Hosking
- J.R. Wallis
- et al.
- 1985
- Technometrics
PaperOn the spectral radius of (0,1)-matrices
- R.A. Brualdi
- A.J. Hoffman
- 1985
- Linear Algebra and Its Applications
PaperComputing n(X) the meissel-lehmer method
- J.C. Lagarias
- A.M. Odlyzko
- et al.
- 1985
- Mathematics of Computation
PaperAn application of factoring
- D. Coppersmith
- J.H. Davenport
- 1985
- Journal of Symbolic Computation
PaperOptimal precision in the presence of uncertainty
- Joseph Y Halpern
- Nimrod Megiddo
- et al.
- 1985
- Journal of Complexity
PaperSolving NP-hard problems in 'almost trees': Vertex cover
- Don Coppersmith
- Uzi Vishkin
- 1985
- Discrete Applied Mathematics
Paper