An Algebraic Model of Parallel Execution of Logic Programs

Lennart Beckman, Rune Gustavsson, Annika Wærn. An Algebraic Model of Parallel Execution of Logic Programs. In Proceedings, Symposium on Logic in Computer Science, 16-18 June 1986, Cambridge, Massachusetts, USA. pages 50-57, IEEE Computer Society, 1986.

Abstract

Abstract is missing.