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
3550 results for Mathematical Sciences
On the spectral radius of (0,1)-matrices
- R.A. Brualdi
- A.J. Hoffman
- 1985
- Linear Algebra and Its Applications
Unbounded fan-in circuits and associative functions
- Ashok K. Chandra
- Steven Fortune
- et al.
- 1985
- Journal of Computer and System Sciences
An Approach to Expert Control of Interactive Software Systems
- Chidanand V. Apté
- Sholom M. Weiss
- 1985
- IEEE TPAMI
Estimation of the generalized extreme-value distribution by the method of probability-weighted moments
- J.R.M. Hosking
- J.R. Wallis
- et al.
- 1985
- Technometrics
Solving NP-hard problems in 'almost trees': Vertex cover
- Don Coppersmith
- Uzi Vishkin
- 1985
- Discrete Applied Mathematics
A note on minimal covers for sofic systems
- Mike Boyle
- Bruce Kitchens
- et al.
- 1985
- Proceedings of the American Mathematical Society
On factored discretizations of the laplacian for the fast solution of Poisson's equation on general regions
- Werner Liniger
- 1984
- BIT
Optics for machine vision
- T.C. Strand
- 1989
- Proceedings of SPIE 1989
The use of ronchi rulings for high precision, two-dimensional galvo deflection systems
- D.J. Bernays
- 1989
- Proceedings of SPIE 1989