Logic Programs as Coalgebras

Research output: Chapter in Book/Report/Conference proceedingChapter

LanguageEnglish
Title of host publicationProc. CMCS Short Contributions 2008
StatusPublished - 2008

Cite this

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

Logic Programs as Coalgebras. / McCusker, Guy; Power, John.

Proc. CMCS Short Contributions 2008. 2008.

Research output: Chapter in Book/Report/Conference proceedingChapter

McCusker, G & Power, J 2008, Logic Programs as Coalgebras. in Proc. CMCS Short Contributions 2008.
McCusker G, Power J. Logic Programs as Coalgebras. In Proc. CMCS Short Contributions 2008. 2008
McCusker, Guy ; Power, John. / Logic Programs as Coalgebras. Proc. CMCS Short Contributions 2008. 2008.
@inbook{6d6699cfdfc74d8ca583a4a3dd804a68,
title = "Logic Programs as Coalgebras",
author = "Guy McCusker and John Power",
year = "2008",
language = "English",
booktitle = "Proc. CMCS Short Contributions 2008",

}

TY - CHAP

T1 - Logic Programs as Coalgebras

AU - McCusker, Guy

AU - Power, John

PY - 2008

Y1 - 2008

M3 - Chapter

BT - Proc. CMCS Short Contributions 2008

ER -