The date refinement calculator for Z specifications
- Mark B. Josephs
- 1988
- Information Processing Letters
Publications
Date
Featured collections
Popular topics
81 results at Information Processing Letters
Yet another distributed depth-first-search algorithm
- Isreal Cidon
- 1988
- Information Processing Letters
Some observations concerning alternating turing machines using small space
- Jik H. Chang
- Oscar H. Ibarra
- et al.
- 1987
- Information Processing Letters
A general method for avoiding cycling in a network
- Martin Charles Golumbic
- 1987
- Information Processing Letters
Limits for automatic verification of finite-state concurrent systems
- Krzysztof R. Apt
- Dexter C. Kozen
- 1986
- Information Processing Letters
A simple characterization of database dependency implication
- Yoshito Hanatani
- Ronald Fagin
- 1986
- Information Processing Letters
Two results on tables
- Christiaan T.M. Jacobs
- Peter Van Emde Boas
- 1986
- Information Processing Letters
Fast dynamic intersection searching in a set of isothetic line segments
- Ralf Hartmut Güting
- 1985
- Information Processing Letters
A new distributed Depth-First-Search algorithm
- Baruch Awerbuch
- 1985
- Information Processing Letters
An optimal algorithm for the maximum alignment of terminals
- P. Widmayer
- C.K. Wong
- 1985
- Information Processing Letters