Decision procedures and expressiveness in the temporal logic of branching time
- E.Allen Emerson
- Joseph Y. Halpern
- 1985
- Journal of Computer and System Sciences
Publications
Date
Featured collections
Popular topics
3523 results for Mathematical Sciences
Solving NP-hard problems in 'almost trees': Vertex cover
- Don Coppersmith
- Uzi Vishkin
- 1985
- Discrete Applied Mathematics
Optimal precision in the presence of uncertainty
- Joseph Y Halpern
- Nimrod Megiddo
- et al.
- 1985
- Journal of Complexity
On factored discretizations of the laplacian for the fast solution of Poisson's equation on general regions
- Werner Liniger
- 1984
- BIT
Average number of rotations and access cost in iR-trees
- Shou-Hsuan Stephen Huang
- C.K. Wong
- 1984
- BIT
On the complexity of partitioning sparse matrix representations
- J.P. Malmquist
- E.L. Robertson
- 1984
- BIT
The best strong uniqueness constant for a multivariate Chebyshev polynomial
- T.J Rivlin
- 1984
- Journal of Approximation Theory
The multiplicative complexity of the Discrete Fourier Transform
- L Auslander
- E Feig
- et al.
- 1984
- Advances in Applied Mathematics
On the direct sum conjecture
- Ephraim Feig
- Shmuel Winograd
- 1984
- Linear Algebra and Its Applications
On the optimality and efficiency of common random numbers
- S. Gal
- R.Y. Rubinstein
- et al.
- 1984
- Mathematics and Computers in Simulation