Showing 1 - 12 results of 12 for search 'Nerode, Anil', query time: 0.04s Refine Results
  1. 1
    Logic for applications
    by Nerode, Anil 1932-
    Published 1997
    Book
  2. 2
    Combinatorial functors
    Book
  3. 3
    Automata theory and its applications
    by Khoussainov, Bakhadyr 1961-
    Published 2001
    Other Authors: “…Nerode, Anil 1932-…”
    Book
  4. 4
    Logic Programming and Nonmonotonic Reasoning Fourth International Conference, LPNMR'97, Dagstuhl Castle, Germany, July 28-31, 1997, Proceedings /
    Published 1997
    Other Authors: “…Nerode, Anil…”
    Full Text via HEAL-Link
    Electronic eBook
  5. 5
    Logical Foundations of Computer Science 4th International Symposium, LFCS'97, Yaroslavl, Russia, July, 6 - 12, 1997, Proceedings /
    Published 1997
    Other Authors: “…Nerode, Anil…”
    Full Text via HEAL-Link
    Electronic eBook
  6. 6
    Logical Foundations of Computer Science International Symposium, LFCS 2018, Deerfield Beach, FL, USA, January 8-11, 2018, Proceedings /
    Published 2018
    Other Authors: “…Nerode, Anil…”
    Full Text via HEAL-Link
    Electronic eBook
  7. 7
    Logical Foundations of Computer Science International Symposium, LFCS 2016, Deerfield Beach, FL, USA, January 4-7, 2016. Proceedings /
    Published 2016
    Other Authors: “…Nerode, Anil…”
    Full Text via HEAL-Link
    Electronic eBook
  8. 8
    Logical Foundations of Computer Science International Symposium, LFCS 2013, San Diego, CA, USA, January 6-8, 2013. Proceedings /
    Published 2013
    Other Authors: “…Nerode, Anil…”
    Full Text via HEAL-Link
    Electronic eBook
  9. 9
    Logical Foundations of Computer Science International Symposium, LFCS 2009, Deerfield Beach, FL, USA, January 3-6, 2009. Proceedings /
    Published 2009
    Other Authors: “…Nerode, Anil…”
    Full Text via HEAL-Link
    Electronic eBook
  10. 10
    Logical Foundations of Computer Science International Symposium, LFCS 2007, New York, NY, USA, June 4-7, 2007. Proceedings /
    Published 2007
    Other Authors: “…Nerode, Anil…”
    Full Text via HEAL-Link
    Electronic eBook
  11. 11
    Hybrid Systems IV
    Published 1997
    Other Authors: “…Nerode, Anil…”
    Full Text via HEAL-Link
    Electronic eBook
  12. 12
    Hybrid Systems V
    Published 1999
    Other Authors: “…Nerode, Anil…”
    Full Text via HEAL-Link
    Electronic eBook
Search Tools: RSS Feed – Email Search