FILOMENA FERRUCCI | 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) |