Logic and Theory of Algorithms

External Link
Arnold Beckmann, Costas Dimitracopoulos, Benedikt Löwe
Fourth Conference on Computability in Europe, CiE 2008, Athens, Greece, June 2008, Proceedings, LNCS 5028
Publication year: 2008