Process logic: Expressiveness, decidability, completeness
- David Harel
- Dexter Kozen
- et al.
- 1982
- Journal of Computer and System Sciences
Publications
Date
Featured collections
Popular topics
3490 results for Mathematical Sciences
Ultra-arithmetic I: Function data types
- C. Epstein
- W.L. Miranker
- et al.
- 1982
- Mathematics and Computers in Simulation
Consensus indices for comparing classifications
- F. James Rohlf
- 1982
- Mathematical Biosciences
The quantization of a classically ergodic system
- Martin C. Gutzwiller
- 1982
- Physica D: Nonlinear Phenomena
Structure and complexity of relational queries
- Ashok Chandra
- David Harel
- 1982
- Journal of Computer and System Sciences
On Walsh equiconvergence
- T.J Rivlin
- 1982
- Journal of Approximation Theory
Dynamic programming: An interactive approach
- Moshe Sniedovich
- J.Samuel Smart
- 1982
- J. Math. Anal. Appl.
Linear combinations of generalized crank nicolson schemes
- A.R. Gourlay
- J. Ll Morris
- 1981
- IMA Journal of Numerical Analysis
New hash functions and their use in authentication and set equality
- Mark N. Wegman
- J. Lawrence Carter
- 1981
- Journal of Computer and System Sciences
A fragment-cofragment model of antibody incidence structures
- Andrew Wohlgemuth
- George Markowsky
- 1981
- Mathematical Biosciences