Structural Proof-Theory and Logic Programming
-
Keynote Talk by Dale Miller
ekomendantskaya
Break
-
A SWI-Prolog based implementation of RML
-
by Davide Ancona, Luca Franceschini, Angelo Ferrando and Viviana Mascardi
ekomendantskaya
Certified Semantics for Disequality Constraints
-
by Dmitry Rozplokhas and Dmitry Boulytchev
ekomendantskaya
Private types in Higher Order Logic Programming
-
by Marco Maggesi and Enrico Tassi
ekomendantskaya
Discussion Session
-
ekomendantskaya