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

http://hdl.handle.net/10362/70209

Utilize este identificador para referenciar este registo.

Nome:	Descrição:	Tamanho:	Formato:
ilps94.pdf		563.51 KB	Adobe PDF	Ver/Abrir

Autores

Damásio, Carlos Augusto Isaac Piló Viegas

Alferes, José Júlio Alves

URI

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

Coleções

Home collection (FCT)

Ver registo completo