The Ackermann Award 2005

Computer Science Logic - Lecture Notes in Computer Science ◽

10.1007/11538363_38 ◽

2005 ◽

pp. 557-565

Author(s):

Erich Grädel ◽

Janos Makowsky ◽

Alexander Razborov

Download Full-text