Adriana Galli

Publication Activity (10 Years)

Years Active: 1999-2017
Publications (10 Years): 1

Top Topics

Application Programming Interface

Top Venues

Publications

Luigi Tatarelli, Marco Schillaci, Adriana Galli
The implementation of the Italian Register of Railway Infrastructure. MT-ITS (2017)
Rodolfo C. Ertola, Adriana Galli, Marta Sagastume
Compatible Functions in Algebras Associated to Extensions of Positive Logic. Log. J. IGPL 15 (1) (2007)
Adriana Galli, Renato A. Lewin, Marta Sagastume
The logic of equilibrium and abelian lattice ordered groups. Arch. Math. Log. 43 (2) (2004)
Adriana Galli, Gonzalo E. Reyes, Marta Sagastume
Strong amalgamation, Beck-Chevalley for equivalence relations and interpolation in algebraic logic. Fuzzy Sets Syst. 138 (1) (2003)
Adriana Galli, Marta Sagastume, Gonzalo E. Reyes
Completeness Theorems via the Double Dual Functor. Stud Logica 64 (1) (2000)
Adriana Galli, Marta Sagastume
Some operations in Kripke models with an involution. J. Appl. Non Class. Logics 9 (1) (1999)