SLX - A TOP-DOWN DERIVATION PROCEDURE FOR PROGRAMS WITH EXPLICIT NEGATION

Bibliographic Details
Main Author: Damásio, Carlos Augusto Isaac Piló Viegas (author)
Other Authors: Alferes, José Júlio Alves (author)
Format: conferenceObject
Language:und
Published: 2019
Online Access:https://dl.acm.org/citation.cfm?id=200652
Country:Portugal
Oai:oai:run.unl.pt:10362/70209

Internet

https://dl.acm.org/citation.cfm?id=200652

Similar Items