Stephane Nicolet

Publication Activity (10 Years)

Years Active: 1998-1998
Publications (10 Years): 0

Publications

Roberto Di Cosmo, Jean-Vincent Loddo, Stephane Nicolet
A Game Semantics Foundation for Logic Programming (Extended Abstract). PLILP/ALP (1998)