Anil Nerode profile picture

Anil Nerode

Is this your author profile? Create an account to customize it!

Stand Alone

Logical foundations of computer science
Logic programming and non-monotonic reasoning
Logical foundations of computer science
Logical foundations of computer science--Tver '92
Logical methods
Recursion theory
Logical methods
Logic for Applications
Logic Programming and Nonmonotonic Reasoning Fourth International Conference, LPNMR'97, Dagstuhl Castle, Germany, July 28-31, 1997, Proceedings
Logic for applications
Logical Foundations of Computer Science - Tver '92: Second International Symposium, Tver, Russia, July 20-24, 1992. Proceedings (Lecture Notes in Computer Science)
Logic Programming and Non-Monotonic Reasoning Proceedings of the Second International Workshop
Logic for Applications
Logical methods: in honor of Anil Nerode's sixtieth birthday
Logic for applications

See All