Login / Signup
Petr Olmer
Publication Activity (10 Years)
Years Active: 2002-2002
Publications (10 Years): 0
</>
Publications
</>
Petr Olmer
,
Petr Stepánek
Schema-Based Transformations of Logic Programs in lambda-Prolog.
ICLP
(2002)