Skip to content

On Computability by Logic Programs.

Andrei Voronkov

VenueBICLP
Year1992
ProceedingsStructural Complexity and Recursion-theoretic methods in Logic-Programming

Browse the full ICLP paper archive.