Verification for ASP denotational semantics: A case study using the PVS theorem prover

  1. Aguado, F.
  2. Ascariz, P.
  3. Cabalar, P.
  4. Pérez, G.
  5. Vidal, C.
Revista:
Logic Journal of the IGPL

ISSN: 1368-9894,  1367-0751

Año de publicación: 2017

Volumen: 25

Número: 2

Páginas: 195-213

Tipo: Artículo

DOI: 10.1093/JIGPAL/JZW060 GOOGLE SCHOLAR
Fuente de los datos: Scopus