Volume 28, Number 1, February 1984
Special Issue to the Memory of
Anthony C. Klug
Moshe Y. Vardi:
The Implication and Finite Implication Problems for Typed Template Dependencies. 3-28
Volume 28, Number 2, April 1984
Selected Papers of
STOC 1982
Martin Fürer:
Data Structures for Distributed Counting. 231-243
Volume 28, Number 3, June 1984
Dan E. Willard:
New Trie Data Structures Which Support Very Fast Search Operations. 379-394
Robin Milner:
A Complete Inference System for a Class of Regular Behaviours. 439-466