Proving completeness of logic programs with the cut
Work
Year: 2016
Type: article
Source: Formal Aspects of Computing
Author Włodzimierz Drabent
Cites: 35
Cited by: 3
Related to: 10
FWCI: 0.481
Citation percentile (by year/subfield): 69.05
Subfield: Artificial Intelligence
Field: Computer Science
Domain: Physical Sciences
Sustainable Development Goal Quality education
Open Access status: green