Restricted predicates for hypothetical datalog

  1. Saenz-Perez, F.
Actas:
Electronic Proceedings in Theoretical Computer Science, EPTCS

ISSN: 2075-2180

Año de publicación: 2015

Volumen: 200

Páginas: 64-79

Tipo: Aportación congreso

DOI: 10.4204/EPTCS.200.5 GOOGLE SCHOLAR lock_openAcceso abierto editor
Fuente de los datos: Scopus