Automata-theoretic techniques for modal logics of programs
- Moshe Y. Vardi
- Pierre Wolper
- 1986
- Journal of Computer and System Sciences
Publications
Date
Featured collections
Popular topics
3490 results for Mathematical Sciences
Rapid methods for the conformal mapping of multiply connected regions
- Anita Mayo
- 1986
- J. Comput. Appl. Math.
Querying logical databases
- Moshe Y. Vardi
- 1986
- Journal of Computer and System Sciences
Average condition number for solving linear equations
- N. Weiss
- G.W. Wasilkowski
- et al.
- 1986
- Linear Algebra and Its Applications
A numerical comparison of one-dimensional fluid jet models applied to drop-on-demand printing
- T.W Shield
- D.B Bogy
- et al.
- 1986
- Journal of Computational Physics
On Optimally Combining Pieces of Information, with Application to Estimating 3-D Complex-Object Position from Range Data
- Ruud M. Bolle
- David B. Cooper
- 1986
- IEEE TPAMI
Probabilistic counting algorithms for data base applications
- Philippe Flajolet
- G. Nigel Martin
- 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
Note on a conjecture of Kojima and Saigal
- Alan J. Hoffman
- 1985
- Linear Algebra and Its Applications