Computability in Europe 2006
Logical Approaches to Computational Barriers


Special Session Talk:
Rewriting with Unions of Reducibility Families


Speaker: Colin Riba

Abstract

(TBA)

websites: Arnold Beckmann 2007-12-21