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.

Authors

Francesca Arcelli Fontana

This author has not been identified. Look up 'Francesca Arcelli Fontana' in Google

Ferrante Formato

This author has not been identified. Look up 'Ferrante Formato' in Google

Giulio Iannello

This author has not been identified. Look up 'Giulio Iannello' in Google