Login / Signup
P. Roche
Publication Activity (10 Years)
Years Active: 1994-1994
Publications (10 Years): 0
</>
Publications
</>
Jean-Paul Bodeveix
,
Mamoun Filali
,
P. Roche
Towards a HOL Theory and Memory.
TPHOLs
(1994)