Anil Nerode

1932

• Logic for applications
• Automata theory and its applications
• Logic for Applications
• Logic programming and non-monotonic reasoning
• Logic programming and non-monotonic reasoning
• Logical Foundations of Computer Science
• Logical foundations of computer science
• Logical foundations of computer science--Tver '92
• Logical Foundations of Computer Science--Tver '92: Second International Symposium, Tver, Russia, July 20-24, 1992
• Logical methods
• Logical methods
• Logical Foundations of Computer Science