Unbounded fan-in circuits and associative functions
- Ashok K. Chandra
- Steven Fortune
- et al.
- 1985
- Journal of Computer and System Sciences
Paper
Publications
3602 results for Mathematical Sciences
Optimal precision in the presence of uncertainty
- Joseph Y Halpern
- Nimrod Megiddo
- et al.
- 1985
- Journal of Complexity
PaperOn the solution of certain systems of partial difference equations and linear dependence of translates of box splines
- Wolfgang Dahmen
- Charles A. Micchelli
- 1985
- Trans. Am. Math. Soc.
PaperA note on minimal covers for sofic systems
- Mike Boyle
- Bruce Kitchens
- et al.
- 1985
- Proceedings of the American Mathematical Society
PaperDecision procedures and expressiveness in the temporal logic of branching time
- E.Allen Emerson
- Joseph Y. Halpern
- 1985
- Journal of Computer and System Sciences
PaperA probabilistic PDL
- Dexter Kozen
- 1985
- Journal of Computer and System Sciences
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
PaperSolving NP-hard problems in 'almost trees': Vertex cover
- Don Coppersmith
- Uzi Vishkin
- 1985
- Discrete Applied Mathematics
PaperAn application of factoring
- D. Coppersmith
- J.H. Davenport
- 1985
- Journal of Symbolic Computation
PaperOn factored discretizations of the laplacian for the fast solution of Poisson's equation on general regions
- Werner Liniger
- 1984
- BIT
Paper