Logical methods

Descrição: The twenty-six papers in this volume reflect the wide and still expanding range of Anil Nerodes work. A conference ... Veja mais