Algebraic Computational Models of OR-Parallel Execution of Prolog

Roberto Barbuti, Nicoletta De Francesco, Antonella Santone. Algebraic Computational Models of OR-Parallel Execution of Prolog. Acta Informatica, 34(6):449-489, 1997.

Authors

Roberto Barbuti

This author has not been identified. Look up 'Roberto Barbuti' in Google

Nicoletta De Francesco

This author has not been identified. Look up 'Nicoletta De Francesco' in Google

Antonella Santone

This author has not been identified. Look up 'Antonella Santone' in Google