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

McCusker, G., & Power, J. (2008). Logic Programs as Coalgebras. In Proc. CMCS Short Contributions 2008