CiE: Programs, Proofs, Processes
| Publication date | 2012 |
|---|---|
| Journal | Theory of Computing Systems |
| Volume | Issue number | 51 | 3 |
| Pages (from-to) | 267-400 |
| Organisations |
|
| Abstract | The seven papers in this special issue constitute a post-conference publication of the meeting CiE 2010: Programs, Proofs, Processes, held at Universidade dos Açores, Ponta Delgada, Portugal, between June 30 and July 4, 2010. CiE 2010 was the sixth in the series of conferences organized by the Association for Computability in Europe. |
| Document type | Special issue (Editorship) |
| Language | English |
| Published at | https://link.springer.com/journal/224/51/3/page/1 |
| Permalink to this page | |