Pubblicazioni

FILOMENA FERRUCCI Pubblicazioni


1994
Contributo in Atti di convegno
Loop Checking for Reduced SLD-Derivations.
In: Proceedings of GULP-PRODE'94 Joint Conference on Declarative Programming Universidad Politecnica de Valencia Pag.388-402
ISBN:9780000000002
GULP-PRODE'94 Joint Conference on Declarative Programming
Peniscola, Spain 19-22 September 1994
Ferrucci, Filomena; Pacini, Giuliano; Sessa, Maria Immacolata
Visualizza sul Database dei Prodotti (IRIS)
1994
Contributo in Atti di convegno
A Sleeper-based Prolog Interpreter with Loop Checks.
In: Proceedings of GULP-PRODE Joint Conference on Declarative Programming Universitad Politecnica de Valencia Pag.379-392
ISBN:9780000000002
GULP-PRODE Joint Conference on Declarative Programming
Peniscola, Spain 19-22 September 1994
Ferrucci, Filomena; Loia, Vincenzo; Pacini, Giuliano; Sessa, Maria Immacolata
Visualizza sul Database dei Prodotti (IRIS)