Original language | English |
---|---|
Title of host publication | Proc. CMCS Short Contributions 2008 |
Publication status | Published - 2008 |
Logic Programs as Coalgebras
Guy McCusker, John Power
Research output: Chapter in Book/Report/Conference proceeding › Chapter
Guy McCusker, John Power
Research output: Chapter in Book/Report/Conference proceeding › Chapter
Original language | English |
---|---|
Title of host publication | Proc. CMCS Short Contributions 2008 |
Publication status | Published - 2008 |