Logic programming with sets
- Gabriel M. Kuper
- 1990
- Journal of Computer and System Sciences
Publications
3599 results for Mathematical Sciences
Randomized broadcast in networks
- Uriel Feige
- David Peleg
- et al.
- 1990
- Random Structures and Algorithms
Parallel selection
- Yossi Azar
- Nicholas Pippenger
- 1990
- Discrete Applied Mathematics
Convexity and Bernstein polynomials on k-simploids
- Dahmen Wolfgang
- Charles A. Micchelli
- 1990
- Acta Mathematicae Applicatae Sinica
On the complexity of some geometric problems in unbounded dimension
- Nimrod Megiddo
- 1990
- Journal of Symbolic Computation
Applications of generalized matrix searching to geometric algorithms
- Alok Aggarwal
- Maria Klawe
- 1990
- Discrete Applied Mathematics
Complex bifurcation from real paths
- M. Henderson
- H.B. Keller
- 1990
- SIAP
Integration of elementary functions
- Manuel Bronstein
- 1990
- Journal of Symbolic Computation
Coefficient reduction for knapsack-like constraints in 0-1 programs with variable upper bounds
- B.L. Dietrich
- L.F. Escudero
- 1990
- Operations Research Letters
Recursive computation of steady-state probabilities in priority queues
- Israel Cidon
- Moshe Sidi
- 1990
- Operations Research Letters