1 Subjects: “...Machine theory...”

2 Subjects: “...Machine theory...”

3 Table of Contents: “... -- How to implement first order formulas in local memory machine models -- A new approach to abstract...”

4 Subjects: “...Machine theory...”

5 Subjects: “...Machine theory...”

6 Subjects: “...Machine theory...”

7 Table of Contents: “... reduced bytecode implementation of a functional logic machine -- Reducing scheduling overheads...”

8 Table of Contents: “... by teams from examples with errors -- A survey of rewrite systems -- Interfacing a logic machine...”

9 Table of Contents: “... Analysis -- Machine Learning for Protein Structure Prediction -- A Parallel-Processor Implementation...”