R.T. 1994

Yaroslaw D. Sergeyev
A Global Optimization Algorithm Using Derivatives and Local Tuning
RT-ICAR-CS-94-01
1994
F. Buccafurri
A Technique for Computing the Well Founded Semantics of Datalog Programs
RT-ICAR-CS-94-02
1994
F. Buccafurri, S. Greco, E. Spadafora
Implementazione di Interrogazioni Semplici Concatenate
RT-ICAR-CS-94-03
1994
F. Buccafurri, N. Leone, P. Rullo
Stable Models and their Computation for Logic Programming Inheritance and True Negation
RT-ICAR-CS-94-04
1994
Yaroslaw D. Sergeyev
Global Optimization Algorithm Using Smooth Auxiliary Functions
RT-ICAR-CS-94-05
1994
Yaroslaw D. Sergeyev
A Multidimensional Global Optimization Algorithm Derivatives and Local Tuning
RT-ICAR-CS-94-06
1994
Yaroslaw D. Sergeyev
On Symmetric Exponential Sums
RT-ICAR-CS-94-07
1994
F. Buccafurri, S, Greco, D. Saccà
The Power of Deterministic Stable Model Semantics
RT-ICAR-CS-94-08
1994