| 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 |