Gheorghiu, Alexander;
Pym, David;
(2022)
Reductive Logic, Proof-search, and Coalgebra (Extended Abstract).
In:
Proceedings of the 16th IFIP WG 1.3 International Workshop on Coalgebraic Methods in Computer Science (CMCS 2022).
(pp. pp. 1-2).
CMCS
Preview |
Text
Coalgebra_and_PS.pdf - Accepted Version Download (183kB) | Preview |
| Type: | Proceedings paper |
|---|---|
| Title: | Reductive Logic, Proof-search, and Coalgebra (Extended Abstract) |
| Event: | 16th IFIP WG 1.3 International Workshop on Coalgebraic Methods in Computer Science (CMCS 2022) |
| Dates: | 2nd-3rd April 2022 |
| Open access status: | An open access version is available from UCL Discovery |
| Publisher version: | https://www.coalg.org/cmcs22/accepted-papers/ |
| Language: | English |
| Additional information: | This version is the author accepted manuscript. For information on re-use, please refer to the publisher's terms and conditions. |
| UCL classification: | UCL > Provost and Vice Provost Offices > UCL BEAMS > Faculty of Engineering Science UCL > Provost and Vice Provost Offices > UCL BEAMS > Faculty of Engineering Science > Dept of Computer Science UCL > Provost and Vice Provost Offices > UCL BEAMS UCL |
| URI: | https://discovery.ucl.ac.uk/id/eprint/10149561 |
Downloads since deposit
11Downloads
Download activity - last month
Download activity - last 12 months
Downloads by country - last 12 months
Archive Staff Only
 |
View Item |
