Volume 25; Issue 2

1

Editor's foreword

Year:
1982
File:
PDF, 34 KB
1982
3

Process logic: Expressiveness, decidability, completeness

Year:
1982
Language:
english
File:
PDF, 1.66 MB
english, 1982
4

The average height of binary trees and other simple trees

Year:
1982
Language:
english
File:
PDF, 1.95 MB
english, 1982
5

A general class of resource tradeoffs

Year:
1982
Language:
english
File:
PDF, 1.65 MB
english, 1982
6

Proofs by induction in equational theories with constructors

Year:
1982
Language:
english
File:
PDF, 1.45 MB
english, 1982