Translating refined logic programs to Mercury

---

Autoria(s): Colvin, R.; Hayes, I. J.; Hemer, D. G.; Strooper, P. A.

Contribuinte(s)	M. Oudshoorn
Data(s)	01/01/2002
Identificador	http://espace.library.uq.edu.au/view/UQ:97234
Publicador	Australian Computer Society Inc.
Palavras-Chave	#E1 #280402 Mathematical Logic and Formal Languages #700199 Computer software and services not elsewhere classified
Tipo	Conference Paper