Anil Nerode - Böcker

Logic for Applications

Automata Theory and its Applications

Automata Theory and its Applications

Logic for Applications

Logical Foundations of Computer Science

International Symposium, LFCS 2020, Deerfield Beach, FL, USA, January 4–7, 2020, Proceedings

Logical Foundations of Computer Science

International Symposium, LFCS 2022, Deerfield Beach, FL, USA, January 10–13, 2022, Proceedings

Algebraic Curves and Riemann Surfaces for Undergraduates

The Theory of the Donut

Logical Foundations of Computer Science

International Symposium, LFCS 2016, Deerfield Beach, FL, USA, January 4-7, 2016. Proceedings

Logical Foundations of Computer Science

International Symposium, LFCS 2018, Deerfield Beach, FL, USA, January 8–11, 2018, Proceedings

Logic and Computer Science

Lectures given at the 1st Session of the Centro Internazionale Matematico Estivo (C.I.M.E.) held at Montecatini Terme, Italy, June 20-28, 1988

Logical Foundations of Computer Science - Tver '92

Second International Symposium, Tver, Russia, July 20-24, 1992. Proceedings

Hybrid Systems

Logical Foundations of Computer Science

Third International Symposium, LFCS '94, St. Petersburg, Russia, July 11-14, 1994. Proceedings

Logic Programming and Nonmonotonic Reasoning

Third International Conference, LPNMR '95, Lexington, KY, USA, June 26 - 28, 1995. Proceedings

Hybrid Systems II

Logical Foundations of Computer Science

4th International Symposium, LFCS'97, Yaroslavl, Russia, July, 6 - 12, 1997, Proceedings

Logic Programming and Nonmonotonic Reasoning

Fourth International Conference, LPNMR'97, Dagstuhl Castle, Germany, July 28-31, 1997, Proceedings

Hybrid Systems IV

Hybrid Systems V

Logical Foundations of Computer Science

International Symposium, LFCS 2007, New York, NY, USA, June 4-7, 2007, Proceedings

Logical Foundations of Computer Science

International Symposium, LFCS 2009, Deerfield Beach, FL, USA, January 3-6, 2009, Proceedings

Logical Foundations of Computer Science

International Symposium, LFCS 2013, San Diego, CA, USA, January 6-8, 2013. Proceedings