Automata theoretic techniques for modal logics of programs (extended abstract)
- Moshe Y. Vard
- Pierre Wolper
- 1984
- STOC 1984
Publications
Date
Featured collections
Popular topics
15 results at STOC 1984
The complexity of elementary algebra and geometry (preliminary version)
- Michael Ben-Or
- Dexter Kozen
- et al.
- 1984
- STOC 1984
Finding euler circuits in logarithmic parallel time
- B. Awerbuch
- A. Israeli
- et al.
- 1984
- STOC 1984
On monotone formulae with restricted depth (preliminary version)
- Maria Klawe
- Wolfgang J. Paul
- et al.
- 1984
- STOC 1984
A new look at fault tolerant network routing
- Danny Dolev
- Joe Halpern
- et al.
- 1984
- STOC 1984
On the possibility and impossibility of achieving clock synchronization
- Danny Dolev
- Joe Halpern
- et al.
- 1984
- STOC 1984
An efficient network synchronization protocol
- Baruch Awerbuch
- 1984
- STOC 1984
Efficient fault tolerant routings in networks
- Andrei Broder
- Michael Fischer
- et al.
- 1984
- STOC 1984
Evaluating logarithms in GF(2n)
- Don Coppersmith
- 1984
- STOC 1984
Pebblings, edgings, and equational logic
- Dexter Kozen
- 1984
- STOC 1984