Nerode, Anil.

Overview

Works:	1 works in 4 publications in 1 languages

Titles

Logical foundations of computer science = International Symposium, LFCS 2016, Deerfield Beach, FL, USA, January 4-7, 2016 : proceedings / by: Artemov, Sergei.; Nerode, Anil.; SpringerLink (Online service) (Electronic resources)

Algebraic curves and Riemann surfaces for undergraduates = the theory of the donut / by: Nerode, Anil.; Greenberg, Noam.; SpringerLink (Online service) (Electronic resources)

Logical foundations of computer science = 4th international symposium, LFCS'97, Yaroslavl, Russia, July 6-12, 1997 : proceedings / by: Nerode, Anil.; SpringerLink (Online service); Adian, Sergei.; LFCS '97 (1997 :) (Language materials, printed)

Logical foundations of computer science = international symposium, LFCS 2022, Deerfield Beach, FL, USA, January 10-13, 2022 : proceedings / by: Artemov, Sergei.; Nerode, Anil.; SpringerLink (Online service); LFCS (Symposium) ((2022 :) (Electronic resources)

Logical foundations of computer science = International Symposium, LFCS 2009, Deerfield Beach, FL, USA, January 3-6, 2009 : Proceedings / by: Artemov, Sergei.; Nerode, Anil.; SpringerLink (Online service); LFCS 2009 ((2009 :) (Language materials, printed)

Logic programming and nonmonotonic reasoning = 4th International Conference, LPNMR '97, Dagstuhl Castle, Germany, July 28-31, 1997 : proceedings / by: Dix, Jurgen.; Fuhrbach, Ulrich.; Nerode, Anil.; SpringerLink (Online service); LPNMR '97 ((1997 :) (Language materials, printed)

Logical foundations of computer science = International Symposium, LFCS 2020, Deerfield Beach, FL, USA, January 4-7, 2020, proceedings / by: Artemov, Sergei.; Nerode, Anil.; SpringerLink (Online service); LFCS (Symposium) ((2020 :) (Electronic resources)

Subjects