Verification for ASP denotational semantics: A case study using the PVS theorem prover.
Saved in:
| Title: | Verification for ASP denotational semantics: A case study using the PVS theorem prover. |
|---|---|
| Authors: | AGUADO, F.1, aguado@udc.es, ASCARIZ, P.1, CABALAR, P.1, cabalar@udc.es, PÉREZ, G.1, gperez@udc.es, VIDAL, C.1, concepcion.vidalm@udc.es |
| Source: | Logic Journal of the IGPL; Apr2017, Vol. 25 Issue 2, p195-213, 19p |
| Database: | Applied Science & Technology Source |
Be the first to leave a comment!
