Volume 2; Issue 1

1

And/Or Programs: A New Approach to Structured Programming

Year:
1980
Language:
english
File:
PDF, 1013 KB
english, 1980
2

A Deductive Approach to Program Synthesis

Year:
1980
Language:
english
File:
PDF, 1.52 MB
english, 1980
4

Distributed Termination

Year:
1980
Language:
english
File:
PDF, 776 KB
english, 1980
6

A Note on Median Split Trees

Year:
1980
Language:
english
File:
PDF, 269 KB
english, 1980