Working with ARMs: Complexity Results on Atomic Representations of Herbrand Models

Working with ARMs: Complexity Results on Atomic Representations of Herbrand Models

Show other versions (1)

Detalles Bibliográficos
Main Authors:	Gottlob, G, Pichler, R
Formato:	Journal article
Publicado:	2001

Working with Arms: Complexity Results on Atomic Representations of Herbrand Models

Working with Arms: Complexity Results on Atomic Representations of Herbrand Models por Gottlob, G, Pichler, R

Publicado 1999

Conference item