A
Anil Nerode
1932
7 works on record
Works

Logic for applications
1993

Logical Foundations of Computer Science--Tver '92: Second International Symposium, Tver, Russia, July 20-24, 1992
1992

Logic programming and non-monotonic reasoning

Logical foundations of computer science

Automata theory and its applications

Logical foundations of computer science--Tver '92

Logical methods