Complexity and Expressive Power of Logic Programming

Detalles Bibliográficos
Main Authors: Dantsin, E, Eiter, T, Gottlob, G, Voronkov, A
Formato: Conference item
Publicado: 1997