Non-deterministic Stream AND-parallelism based on Intelligent Backtracking

Christian Codognet, Philippe Codognet. Non-deterministic Stream AND-parallelism based on Intelligent Backtracking. In Serge Bourgault, Mehmet Dincbas, editors, SPLT 89, 8:::ème::: Séminaire Programmation en Logique, 24-26 mai 1989, Trégastel, France. pages 423-440, 1989.

Abstract

Abstract is missing.