|
СБ |
Computation and Logic in the Real World: Proc./Third Conference on Computability in Europe, CiE 2007. Siena, Italy, June 2007 |
2007 |
|
Lecture Notes in Computer Science |
- Cooper S. B.
- Loewe B.
- Sorbi A.
|
|
|
18.09.2007 |
|
СБ |
Logic and Theory of Algorithms: Proc./4th Conference on Computability in Europe, CiE 2008. Athens, Greece, June 2008 |
2008 |
|
Lecture Notes in Computer Science |
- Beckmann A.
- Dimitracopoulos C.
- Loewe B.
|
|
|
02.08.2008 |
|
СБ |
Logical Approaches to Computational Barriers: Proc./Second Conference on Computability in Europe, CiE 2006. Swansea, UK, June/July 2006 |
2006 |
|
Lecture Notes in Computer Science |
- Beckmann A.
- Berger U.
- Loewe B.
- Tucker J. V.
|
|
|
05.09.2006 |
|
СБ |
Mathematical Theory and Computational Practice: Proc./5th Conference on Computability in Europe, CiE 2009. Heidelberg, Germany, July 2009 |
2009 |
|
Lecture Notes in Computer Science |
- Ambos-Spies K.
- Loewe B.
- Merkle W.
|
|
|
11.08.2009 |
|
СБ |
New Computational Paradigms: Proc./First Conference on Computability in Europe, CiE 2005. Amsterdam, The Netherlands, June 2005 |
2005 |
|
Lecture Notes in Computer Science |
- Cooper S. B.
- Loewe B.
- Torenvliet L.
|
|
|
30.08.2005 |
