Skip to contents

  1. Nerode, Anil [Author]; Shore, Richard A. [Author]

    Logic for applications - [2. ed.]

    Books
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    New York; Heidelberg [u.a.]: Springer, 1997

    Published in: Graduate texts in computer science

  2. Nerode, Anil [Author] ; Matiyasevich, Yu.V [Other]

    Logical Foundations of Computer Science : Third International Symposium, LFCS '94, St. Petersburg, Russia, July 11-14, 1994. Proceedings

    Books
    View online
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    Berlin, Heidelberg: Springer Berlin Heidelberg, 1994

    Published in: Lecture notes in computer science ; 813

  3. Nerode, Anil [Other] ; LFCS 3 1994 Sankt Petersburg

    Logical foundations of computer science : third international symposium, LFCS '94, St. Petersburg, Russia, July 11 - 14, 1994 ; proceedings

    Books
    View online
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    Berlin [u.a.]: Springer, 1994 ; Online-Ausg.: Berlin [u.a.]: Springer, 2006

    Published in: Lecture notes in computer science ; 81300

  4. Crossley, John N. [Author] ; Nerode, Anil [Other]

    Combinatorial Functors

    Books
    View online
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    Berlin, Heidelberg: Springer Berlin Heidelberg, 1974

    Published in: Ergebnisse der Mathematik und ihrer Grenzgebiete ; 81- Ergebnisse der Mathematik und ihrer Grenzgebiete. 2. Folge, A Series of Modern Surveys in Mathematics ; 81- SpringerLink ; Bücher- Springer eBook Collection ; Mathematics and Statistics

  5. Artemov, Sergei [Editor]; Nerode, Anil [Editor]

    Logical Foundations of Computer Science : International Symposium, LFCS 2022, Deerfield Beach, FL, USA, January 10–13, 2022, Proceedings - [1st ed. 2022.]

    Books
    View online
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    Cham: Springer International Publishing, 2022. ; Cham: Imprint: Springer, 2022.

    Published in: Theoretical Computer Science and General Issues ; 13137- Springer eBook Collection