S. Kounev. Invited Talk (Kolloquiumsvortrag), University of Edinburgh, Laboratory for Foundations of Computer Science, School of Informatics, Edinburgh, UK, (May 2007)
S. Kounev. Invited Talk (Kolloquiumsvortrag), University of Edinburgh, Laboratory for Foundations of Computer Science, School of Informatics, Edinburgh, UK, (May 2007)