Edinburgh Research Explorer

Synthesis and Transformation of Logic Programs through Constructive, Inductive Proof

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Related Edinburgh Organisations

Open Access permissions

Open

Documents

http://hdl.handle.net/1842/4517
Original languageEnglish
Title of host publicationProceedings of LoPSTr-91
StatePublished - 1991

Download statistics

No data available

ID: 403187