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