| 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 or section in a book/report/conference proceeding › Chapter or section