%A Carl A. Gunter
%T Universal profinite domains
%J Information & Computation
%K infcmp
%V 72
%N 1
%D January 1987
%P 1-30

%A H. Andreka
%A I. Guessarian
%A I. Nemeti
%T A unifying theorem for algebraic semantics and dynamic logics
%J Information & Computation
%K infcmp
%V 72
%N 1
%D January 1987
%P 31-45

%A Satish Thatte
%T A refinement of strong sequentiality for term rewriting with constructors
%J Information & Computation
%K infcmp
%V 72
%N 1
%D January 1987
%P 46-65

%A Amihood Amir
%A Dov M. Gabbay
%T Preservation of expressive completeness in temporal models
%J Information & Computation
%K infcmp
%V 72
%N 1
%D January 1987
%P 66-83

%A M. Coppo
%A M. Dezani-Ciancaglini
%A M. Zacchi
%T Type theories, normal forms, and Dinf-lambda-models
%J Information & Computation
%K infcmp
%V 72
%N 2
%D February 1987
%P 85-116

%A James R. Driscoll
%A Merrick L. Furst
%T Computing short generator sequences
%J Information & Computation
%K infcmp
%V 72
%N 2
%D February 1987
%P 117-132

%A Miroslaw Kutylowski
%T A generalized Grzegorczyk hierarchy and low complexity classes
%J Information & Computation
%K infcmp
%V 72
%N 2
%D February 1987
%P 133-149

%A Gregory J.E. Rawlins
%A Derick Wood
%T Optimal computation of finitely oriented convex hulls
%J Information & Computation
%K infcmp
%V 72
%N 2
%D February 1987
%P 150-166