Edinburgh Research Explorer

Proving properties of logic programs: summary of progress

Research output: Working paper

Related Edinburgh Organisations

Documents

Original languageEnglish
StateUnpublished - Sep 1986

Publication series

NameDAI research paper No. 312

Download statistics

No data available

ID: 442786