Programs, Proofs, Processes : 6th Conference on Computability in Europe, CiE, 2010, Ponta Delgada, Azores, Portugal, June 30 - July 4, 2010, Proceedings /
Guardado en:
| 主要作者: | |
|---|---|
| 格式: | 圖書 |
| 語言: | 英语 |
| 出版: |
Berlín, Alemania :
Springer,
2010, c2010
|
| 叢編: | (Lecture Notes in Computer Science)
|
| 在線閱讀: | Ver documento en línea |
| 標簽: |
沒有標簽, 成為第一個標記此記錄!
|
相似書籍: Programs, Proofs, Processes :
- Logical Approaches to Computational Barriers : Second Conference on Computability in Europe, CiE 2006, Swansea, UK, June 30-July 5, 2006, Proceedings /
- New Computational Paradigms : First Conference on Computability in Europe, CiE 2005, Amsterdam, The Netherlands, June 8-12, 2005, Proceedings /
- Adapting Proofs-as-Programs : The Curry--Howard Protocol /
- Computation and Logic in the Real World : Third Conference on Computability in Europe, CiE 2007, Siena, Italy, June 18-23, 2007, Proceedings /
- Logic and Theory of Algorithms : 4th Conference on Computability in Europe, CiE 2008 Athens, Greece, June 15-20, 2008, Proceedings /
- Models of Computation in Context : 7th Conference on Computability in Europe, CiE 2011, Sofia, Bulgaria, June 27 - July 2, 2011, Proceedings /