Login / Signup
Andrea Cuteri
Publication Activity (10 Years)
Years Active: 2023-2023
Publications (10 Years): 1
Top Topics
Normal Logic Programs
Top Venues
CILC
</>
Publications
</>
Andrea Cuteri
,
Giuseppe Mazzotta
,
Francesco Ricca
Compilation-based Techniques for Evaluating Normal Logic Programs Under the Well-founded Semantics.
CILC
(2023)