On Semantics of a Term Calculus for Classical Logic
On table-driven syntax-checking within on ALGOL compiler
On the application of parallel architectures to a class of operations research problems
On the detection of some periodic loops during the execution of Prolog programs
On the geometry of intuitionistic S4 proofs.
On the skeletal structure of Pascal statement
On the solution of optimal performance of page storage hierarchies with an independent reference string
On-line computations of the ideal lattice of posets
Optimal sofware release policies for software reliability growth models under imperfect debugging
Optimality-preserving elimination of linearities in Jacobian accumulation.
Parallel computation on 2-3-trees
Parallelism in numerical analysis
Point-fixe sur un ensemble restreint
Polytypic functions over nested datatypes.
Post grammars as a programming language description tool
Preface
Primitive recursive categories and machines
Programming means for simulation of logical networks. I
Programming means for simulation of logical networks. II
Programming means for simulation of logical networks. III