Sign in
Leonard Paulík
Publication Activity (10 Years)
Years Active: 1995-1996
Publications (10 Years): 0
</>
Publications
</>
Peter Vojtás
,
Leonard Paulík
Soundness and Completeness of Non-classical SLD-Resolution.
ELP
(1996)
Peter Vojtás
,
Leonard Paulík
Logic Programming in RPL and RQL.
SOFSEM
(1995)