Logic in computer science LICS 2004 proceedings - IEEE Annual Symposium on Logic in Computer Science LICS 2004; IEEE annual symposium on logic in computer science LICS 2004 Turku, Finland 13-17 Jul 2004 (Los Alamitos IEEE, 2004)
Keywords: Mathematical logic