Editorial

Leonid Libkin
Frank Pfenning
ACM Trans. Comput. Log., 3 (2002), pp. 335-335

Abstract