Nerode, Anil.
Overview
| Works: | 1 works in 5 publications in 1 languages | |
|---|---|---|
Titles
Logical foundations of computer scienceInternational Symposium, LFCS 2009, Deerfield Beach, FL, USA, January 3-6, 2009 : Proceedings /
by:
(1998 :); Artemov, Sergei.; Nerode, Anil.; SpringerLink (Online service)
(Electronic resources)
Logical foundations of computer scienceinternational symposium, LFCS 2022, Deerfield Beach, FL, USA, January 10-13, 2022 : proceedings /
by:
(1998 :); Artemov, Sergei.; Nerode, Anil.; SpringerLink (Online service)
(Electronic resources)
Logical foundations of computer scienceInternational Symposium, LFCS 2020, Deerfield Beach, FL, USA, January 4-7, 2020, proceedings /
by:
(1998 :); Artemov, Sergei.; Nerode, Anil.; SpringerLink (Online service)
(Electronic resources)
Logical foundations of computer scienceInternational Symposium, LFCS 2018, Deerfield Beach, FL, USA, January 8-11, 2018 : proceedings /
by:
(1998 :); Artemov, Sergei.; Nerode, Anil.; SpringerLink (Online service)
(Electronic resources)
Logic programming and nonmonotonic reasoning4th International Conference, LPNMR '97, Dagstuhl Castle, Germany, July 28-31, 1997 : proceedings /
by:
(1998 :); Dix, Jurgen.; Fuhrbach, Ulrich.; Nerode, Anil.; SpringerLink (Online service)
(Electronic resources)
Logical foundations of computer science4th international symposium, LFCS'97, Yaroslavl, Russia, July 6-12, 1997 : proceedings /
by:
(1998 :); Adian, Sergei.; Nerode, Anil.; SpringerLink (Online service)
(Electronic resources)
Algebraic curves and Riemann surfaces for undergraduatesthe theory of the donut /
by:
Greenberg, Noam.; Nerode, Anil.; SpringerLink (Online service)
(Electronic resources)
Logical foundations of computer scienceInternational Symposium, LFCS 2016, Deerfield Beach, FL, USA, January 4-7, 2016 : proceedings /
by:
(1998 :); Artemov, Sergei.; Nerode, Anil.; SpringerLink (Online service)
(Electronic resources)
Subjects
Mathematical Logic and Formal Languages.
Theory of Computation.
Mathematical Logic and Foundations.
Nonmonotonic reasoning
Electronic data processing
Logics and Meanings of Programs.
Logic programming
Programming Techniques.
Algebraic Geometry.
Global Analysis and Analysis on Manifolds.
Computer logic
Programming Languages, Compilers, Interpreters.
Geometry, Algebraic.
Functions of a Complex Variable.
Curves, Algebraic.
Computer science
Artificial Intelligence.
Riemann surfaces.
Logic, Symbolic and mathematical
Computer Science.
Arithmetic and Logic Structures.
Computers
Symbolic and Algebraic Manipulation.