Sfoglia per Autore
Mostrati risultati da 1 a 6 di 6
Grammatical Inference Algorithms for the Generation of Visual Languages
1990-01-01 Crimi, Claudia; Guercio, Angela; Pacini, Giuliano; Tortora, Genoveffa; Tucci, Maurizio
Relation Grammars and their application to Multidimensional Structures
1991-01-01 Crimi, Claudia; Guercio, Angela; Nota, Giancarlo; Pacini, Giuliano; Tortora, Genoveffa; Tucci, Maurizio
On Refinement of Logic Specifications
1992-01-01 Ferrucci, Filomena; Nota, Giancarlo; S., Orefice; Pacini, Giuliano; Tortora, Genoveffa
Loop Checking for Reduced SLD-Derivations
1994-01-01 Ferrucci, Filomena; Pacini, Giuliano; Sessa, Maria Immacolata
A Sleeper-based Prolog Interpreter with Loop Checks
1994-01-01 Ferrucci, Filomena; Loia, Vincenzo; Pacini, Giuliano; Sessa, Maria Immacolata
Redundancy elimination and loop checks for Logic programs
1995-01-01 Ferrucci, Filomena; Pacini, Giuliano; Sessa, Maria Immacolata
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
Grammatical Inference Algorithms for the Generation of Visual Languages | 1-gen-1990 | Crimi, Claudia; Guercio, Angela; Pacini, Giuliano; Tortora, Genoveffa; Tucci, Maurizio | |
Relation Grammars and their application to Multidimensional Structures | 1-gen-1991 | Crimi, Claudia; Guercio, Angela; Nota, Giancarlo; Pacini, Giuliano; Tortora, Genoveffa; Tucci, Maurizio | |
On Refinement of Logic Specifications | 1-gen-1992 | Ferrucci, Filomena; Nota, Giancarlo; S., Orefice; Pacini, Giuliano; Tortora, Genoveffa | |
Loop Checking for Reduced SLD-Derivations | 1-gen-1994 | Ferrucci, Filomena; Pacini, Giuliano; Sessa, Maria Immacolata | |
A Sleeper-based Prolog Interpreter with Loop Checks | 1-gen-1994 | Ferrucci, Filomena; Loia, Vincenzo; Pacini, Giuliano; Sessa, Maria Immacolata | |
Redundancy elimination and loop checks for Logic programs | 1-gen-1995 | Ferrucci, Filomena; Pacini, Giuliano; Sessa, Maria Immacolata |
Mostrati risultati da 1 a 6 di 6
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile