On the parallel implementation of the higher order logic language lambda Prolog

Francesca Arcelli Fontana, Ferrante Formato, Giulio Iannello. On the parallel implementation of the higher order logic language lambda Prolog. In María Alpuente, Roberto Barbuti, Isidro Ramos, editors, 1994 Joint Conference on Declarative Programming, GULP-PRODE 94 Peñiscola, Spain, September 19-22, 1994, Volume 2. pages 253-267, 1994.

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.