PACINI, Giuliano
PACINI, Giuliano
Mostra
records
Risultati 1 - 6 di 6 (tempo di esecuzione: 0.042 secondi).
A Sleeper-based Prolog Interpreter with Loop Checks
1994-01-01 Ferrucci, Filomena; Loia, Vincenzo; Pacini, Giuliano; Sessa, Maria Immacolata
Grammatical Inference Algorithms for the Generation of Visual Languages
1990-01-01 Crimi, Claudia; Guercio, Angela; Pacini, Giuliano; Tortora, Genoveffa; Tucci, Maurizio
Loop Checking for Reduced SLD-Derivations
1994-01-01 Ferrucci, Filomena; Pacini, Giuliano; Sessa, Maria Immacolata
On Refinement of Logic Specifications
1992-01-01 Ferrucci, Filomena; Nota, Giancarlo; S., Orefice; Pacini, Giuliano; Tortora, Genoveffa
Redundancy elimination and loop checks for Logic programs
1995-01-01 Ferrucci, Filomena; Pacini, Giuliano; Sessa, Maria Immacolata
Relation Grammars and their application to Multidimensional Structures
1991-01-01 Crimi, Claudia; Guercio, Angela; Nota, Giancarlo; Pacini, Giuliano; Tortora, Genoveffa; Tucci, Maurizio
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| A Sleeper-based Prolog Interpreter with Loop Checks | 1-gen-1994 | Ferrucci, Filomena; Loia, Vincenzo; Pacini, Giuliano; Sessa, Maria Immacolata | |
| Grammatical Inference Algorithms for the Generation of Visual Languages | 1-gen-1990 | Crimi, Claudia; Guercio, Angela; Pacini, Giuliano; Tortora, Genoveffa; Tucci, Maurizio | |
| Loop Checking for Reduced SLD-Derivations | 1-gen-1994 | Ferrucci, Filomena; Pacini, Giuliano; Sessa, Maria Immacolata | |
| On Refinement of Logic Specifications | 1-gen-1992 | Ferrucci, Filomena; Nota, Giancarlo; S., Orefice; Pacini, Giuliano; Tortora, Genoveffa | |
| Redundancy elimination and loop checks for Logic programs | 1-gen-1995 | Ferrucci, Filomena; Pacini, Giuliano; Sessa, Maria Immacolata | |
| Relation Grammars and their application to Multidimensional Structures | 1-gen-1991 | Crimi, Claudia; Guercio, Angela; Nota, Giancarlo; Pacini, Giuliano; Tortora, Genoveffa; Tucci, Maurizio |