Logic Programs as Coalgebras

Guy McCusker, John Power

Research output: Chapter in Book/Report/Conference proceedingChapter

Original languageEnglish
Title of host publicationProc. CMCS Short Contributions 2008
Publication statusPublished - 2008

Cite this