IRIS

Sfoglia per Autore  

Opzioni
Mostrati risultati da 1 a 20 di 55
Titolo Data di pubblicazione Autore(i) File
A Kinetic Study of the Partial Oxidation of Propene to Acrolein 1-gen-1980 EL SAWI, M.; Procopio, A.; Giordano, Girolamo; Rullo, P.; Trifiro', F.
An Automatic Physical Designer for Network Model Databases 1-gen-1988 Rullo, Pasquale; Sacca', Domenico
Complex-Prolog: A Logic Database Language for Handling Complex Objects 1-gen-1989 Greco, Sergio; Rullo, Pasquale
Netlog, A Logic Query Language for Network Model Databases 1-gen-1991 Greco, Sergio; Palopoli, L; Rullo, Pasquale
Netlog: A logic query language for linked model Databases 1-gen-1991 Greco, S.; Palopoli, Luigi; Rullo, P.
Un Linguaggio Logico per Basi di Dati e Conoscenza 1-gen-1991 Greco, S; Leone, Nicola; Rullo, P.
Safe Computation of the Well-Founded Semantics of DATALOG Queries 1-gen-1992 Leone, Nicola; Rullo, Pasquale
The Basic Query Machine of the KIWIS System 1-gen-1992 Leone, Nicola; Mecchia, A.; Rossi, G.; Rullo, Pasquale
An Efficient Strategy for the Bottom-up Evaluation of Datalog Queries 1-gen-1992 Leone, Nicola; Rullo, Pasquale
COMPLEX: An Object-Oriented Logic Programming System 1-gen-1992 Greco, Sergio; Leone, Nicola; Rullo, Pasquale
Ordered Logic Programming with Sets 1-gen-1993 Leone, Nicola; Rullo, Pasquale
Effective Implementation of Negation in Database Logic Query Languages 1-gen-1993 Leone, Nicola; Romeo, M.; Rullo, P.; Sacca, D.
Effective Implementation of Negation in Databases Logic Quesry Languages 1-gen-1993 Leone, Nicola; Romeo, M; Rullo, Pasquale; Sacc, D.
Expliciting Parallelism in the Semi-Naive Algorithm for the Bottom-up Evaluation of Datalog Programs 1-gen-1993 Leone, Nicola; Restuccia, P; Romeo, M; Rullo, Pasquale
Disjunctive Ordered Logic 1-gen-1995 Buccufurri, F.; Leone, Nicola; Palopoli, L.; Rullo, P.
Declarative and Fixpoint Characterizations of Disjunctive Stable Models 1-gen-1995 Leone, Nicola; Rullo, P.; Scarcello, F.
On the Computation of Disjunctive Stable Models 1-gen-1996 Leone, Nicola; Rullo, P.; Scarcello, F.
Stable Model Checking for Disjunctive Logic Programs 1-gen-1996 Leone, Nicola; Rullo, P.; Scarcello, F.
On the computation of disjunctive stable models 1-gen-1996 Leone, Nicola; Rullo, P; Scarcello, Francesco
Stable Models and their Computation for Logic Programming with Inheritance and True Negation 1-gen-1996 Buccafurri, F; Leone, Nicola; Rullo, Pasquale
Mostrati risultati da 1 a 20 di 55
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