Anil Nerode
AuthID: R-00H-5MR
1
TITLE: Logical Foundations of Computer Science - International Symposium, LFCS 2022, Deerfield Beach, FL, USA, January 10-13, 2022, Proceedings
AUTHORS: Sergei N Artëmov; Anil Nerode;
PUBLISHED: 2022, SOURCE: LFCS, VOLUME: 13137
AUTHORS: Sergei N Artëmov; Anil Nerode;
PUBLISHED: 2022, SOURCE: LFCS, VOLUME: 13137
INDEXED IN: 
DBLP
DBLP2
TITLE: Logical Foundations of Computer Science, International Symposium, LFCS 2013, San Diego, CA, USA, January 6-8, 2013. Proceedings
AUTHORS: Sergei N Artëmov; Anil Nerode;
PUBLISHED: 2013, SOURCE: LFCS, VOLUME: 7734
AUTHORS: Sergei N Artëmov; Anil Nerode;
PUBLISHED: 2013, SOURCE: LFCS, VOLUME: 7734
INDEXED IN: DBLP
DBLP3
TITLE: Logic Programming and Nonmonotonic Reasoning, Third International Conference, LPNMR'95, Lexington, KY, USA, June 26-28, 1995, Proceedings
AUTHORS: Wiktor W Marek; Anil Nerode;
PUBLISHED: 1995, SOURCE: LPNMR, VOLUME: 928
AUTHORS: Wiktor W Marek; Anil Nerode;
PUBLISHED: 1995, SOURCE: LPNMR, VOLUME: 928
INDEXED IN: DBLP
DBLP4
TITLE: Logic Programming and Non-monotonic Reasoning, Proceedings of the Second International Workshop, Lisbon, Portugal, June 1993
AUTHORS: Luís Moniz Pereira; Anil Nerode;
PUBLISHED: 1993, SOURCE: LPNMR
AUTHORS: Luís Moniz Pereira; Anil Nerode;
PUBLISHED: 1993, SOURCE: LPNMR
INDEXED IN: DBLP
DBLP5
TITLE: Logic Programming and Non-Monotonic Reasoning. Proceedings of the First International Workshop
AUTHORS: Anil Nerode; Wiktor Marek; V. S. Subrahmanian;
PUBLISHED: 1991
AUTHORS: Anil Nerode; Wiktor Marek; V. S. Subrahmanian;
PUBLISHED: 1991
INDEXED IN: 
Openlibrary
Openlibrary