2013 IEEE 54th Annual Symposium on Foundations of Computer Science (1972)

Oct. 25, 1972 to Oct. 27, 1972

ISSN: 0272-4847

TABLE OF CONTENTS

Papers

Front cover (PDF)

pp. C1

Table of contents (PDF)

pp. 4-5

Foreword (PDF)

pp. 3

Honest bounds for complexity classes of recursive functions (Abstract)

pp. 61-66

Consistency of synchronization nets using P and V operations (Abstract)

pp. 71-77

Some related problems from network flows, game theory and integer programming (Abstract)

pp. 130-138

Some results on the effect of arithmetics on comparison problems (Abstract)

pp. 139-143

On the equivalence of asynchronous control structures (Abstract)

pp. 212-223