Zum Inhalt springen

  1. Artemov, Sergei [HerausgeberIn]; Nerode, Anil [HerausgeberIn]

    Logical Foundations of Computer Science : International Symposium, LFCS 2016, Deerfield Beach, FL, USA, January 4-7, 2016. Proceedings - [1st ed. 2016]

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Cham: Springer, 2016

    Erschienen in: Lecture notes in computer science ; 9537

  2. Dix, Jürgen [VerfasserIn] ; Fuhrbach, Ulrich [Sonstige Person, Familie und Körperschaft]; Nerode, Anil [Sonstige Person, Familie und Körperschaft]

    Logic Programming and Nonmonotonic Reasoning : Fourth International Conference, LPNMR'97, Dagstuhl Castle, Germany, July 28-31, 1997, Proceedings

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Berlin, Heidelberg: Springer Berlin Heidelberg, 1997

    Erschienen in: Lecture notes in computer science ; 1265

  3. Marek, V. Wiktor [VerfasserIn] ; Nerode, Anil [Sonstige Person, Familie und Körperschaft]; Truszcynski, Miroslaw [Sonstige Person, Familie und Körperschaft]

    Logic Programming and Nonmonotonic Reasoning : Third International Conference, LPNMR '95, Lexington, KY, USA, June 26 - 28, 1995. Proceedings

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Berlin, Heidelberg: Springer Berlin Heidelberg, 1995

    Erschienen in: Lecture notes in computer science ; 928

  4. Artemov, Sergej N. [HerausgeberIn]; Nerode, Anil [HerausgeberIn] ; LFCS 2020 Deerfield Beach, Fla, Springer Nature Switzerland AG

    Logical Foundations of Computer Science : International Symposium, LFCS 2020, Deerfield Beach, FL, USA, January 4-7, 2020, Proceedings

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Cham: Imprint: Springer, [2020] ; Cham, Switzerland: Springer Nature Switzerland, [2020]

    Erschienen in: Lecture notes in computer science ; 11972 ; theoretical computer science and general issues- Springer eBook Collection- Theoretical Computer Science and General Issues ; 11972

  5. Artemov, Sergej N. [Sonstige Person, Familie und Körperschaft]; Nerode, Anil [Sonstige Person, Familie und Körperschaft]

    Logical Foundations of Computer Science : International Symposium, LFCS 2007, New York, NY, USA, June 4-7, 2007. Proceedings

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Berlin, Heidelberg: Springer-Verlag Berlin Heidelberg, 2007

    Erschienen in: Lecture notes in computer science ; 4514

  7. Nerode, Anil [Sonstige Person, Familie und Körperschaft]; Shore, Richard A. [Sonstige Person, Familie und Körperschaft]

    Recursion theory - [Online-Ausg.]

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Providence, R.I: American Mathematical Society, 1985

    Erschienen in: Proceedings of symposia in pure mathematics 2324-707X ; v. 42

  8. Ko, Ker-I [VerfasserIn]; Nerode, Anil [VerfasserIn]; Weihrauch, Klaus [VerfasserIn] ; Ker-I Ko and Anil Nerode and Klaus Weihrauch [MitwirkendeR]

    Computability and Complexity in Analysis (Dagstuhl Seminar 99461)

    Aufsätze
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2000

  9. Ko, Ker-I [VerfasserIn]; Nerode, Anil [VerfasserIn]; Weihrauch, Klaus [VerfasserIn] ; Ker-I Ko and Anil Nerode and Klaus Weihrauch [MitwirkendeR]

    Computability and Complexity in Analysis (Dagstuhl Seminar 9717)

    Aufsätze
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 1997

  10. Ishihara, Hajime [VerfasserIn]; Khoussainov, Bakhadyr [VerfasserIn]; Nerode, Anil [VerfasserIn]

    Decidable Kripke models of intuitionistic theories

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    [Auckland]: Centre for Discrete Mathematics and Theoretical Computer Science, [1997]

    Erschienen in: CDMTCS research report series ; 27

  11. Marek, Victor [VerfasserIn]; Nerode, Anil [VerfasserIn]; Schmitt, Peter H. [VerfasserIn] ; Victor Marek and Anil Nerode and Peter H. Schmitt [MitwirkendeR]

    Non-Classical Logics in Computer Science (Dagstuhl Seminar 9338)

    Aufsätze
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 1993

  12. Antsaklis, Panos J. [VerfasserIn] ; Kohn, Wolf [Sonstige Person, Familie und Körperschaft]; Nerode, Anil [Sonstige Person, Familie und Körperschaft]; Sastry, Shankar [Sonstige Person, Familie und Körperschaft]

    Hybrid Systems IV

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Berlin, Heidelberg: Springer Berlin Heidelberg, 1997

    Erschienen in: Lecture notes in computer science ; 1273

  13. Antsaklis, Panos J. [VerfasserIn] ; Kohn, Wolf [Sonstige Person, Familie und Körperschaft]; Nerode, Anil [Sonstige Person, Familie und Körperschaft]; Sastry, Shankar [Sonstige Person, Familie und Körperschaft]

    Hybrid Systems II

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Berlin, Heidelberg: Springer Berlin Heidelberg, 1995

    Erschienen in: Lecture notes in computer science ; 999

  14. Grossman, Robert [VerfasserIn] ; Nerode, Anil [Sonstige Person, Familie und Körperschaft]; Ravn, Anders P. [Sonstige Person, Familie und Körperschaft]; Rischel, Hans [Sonstige Person, Familie und Körperschaft]

    Hybrid Systems

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Berlin, Heidelberg: Springer Berlin Heidelberg, 1993

    Erschienen in: Lecture notes in computer science ; 736

  15. Antsaklis, Panos J. [VerfasserIn] ; Kohn, Wolf [Sonstige Person, Familie und Körperschaft]; Lemmon, Michael [Sonstige Person, Familie und Körperschaft]; Nerode, Anil [Sonstige Person, Familie und Körperschaft]; Sastry, Shankar [Sonstige Person, Familie und Körperschaft]

    Hybrid Systems V

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Berlin, Heidelberg: Springer-Verlag Berlin Heidelberg, 1999

    Erschienen in: Lecture notes in computer science ; 1567

  16. Crossley, John N. [HerausgeberIn]; Remmel, Jeffrey B. [HerausgeberIn]; Shore, Richard [HerausgeberIn]; Sweedler, Moss E. [HerausgeberIn]; Nerode, Anil [GefeierteR]

    Logical methods : in honor of Anil Nerode’s sixtieth birthday - [1st ed. 1993.]

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Boston, MA: Imprint: Birkhäuser, 1993. ; Boston, MA: Birkhäuser Boston, 1993.

    Erschienen in: Progress in computer science and applied logic ; 12

  17. Homer, Steven [VerfasserIn] ; Nerode, Anil [Sonstige Person, Familie und Körperschaft]; Platek, Richard A. [Sonstige Person, Familie und Körperschaft]; Sacks, Gerald E. [Sonstige Person, Familie und Körperschaft]; Scedrov, Andre [Sonstige Person, Familie und Körperschaft]; Odifreddi, Piergiorgio [HerausgeberIn]

    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

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Berlin, Heidelberg: Springer Berlin Heidelberg, 1990

    Erschienen in: Lecture notes in mathematics ; 1429

  18. Hutchison, David [Sonstige Person, Familie und Körperschaft]; Nierstrasz, Oscar [Sonstige Person, Familie und Körperschaft]; Pandu Rangan, C. [Sonstige Person, Familie und Körperschaft]; Steffen, Bernhard [Sonstige Person, Familie und Körperschaft]; Sudan, Madhu [Sonstige Person, Familie und Körperschaft]; Terzopoulos, Demetri [Sonstige Person, Familie und Körperschaft]; Tygar, Doug [Sonstige Person, Familie und Körperschaft]; Vardi, Moshe Y. [Sonstige Person, Familie und Körperschaft]; Weikum, Gerhard [Sonstige Person, Familie und Körperschaft]; Artemov, Sergei [Sonstige Person, Familie und Körperschaft]; Kanade, Takeo [Sonstige Person, Familie und Körperschaft]; Kittler, Josef [Sonstige Person, Familie und Körperschaft]; Kleinberg, Jon [Sonstige Person, Familie und Körperschaft]; Mattern, Friedemann [Sonstige Person, Familie und Körperschaft]; Mitchell, John C. [Sonstige Person, Familie und Körperschaft]; Naor, Moni [Sonstige Person, Familie und Körperschaft]; Nerode, Anil [Sonstige Person, Familie und Körperschaft]

    Logical Foundations of Computer Science : International Symposium, LFCS 2009, Deerfield Beach, FL, USA, January 3-6, 2009. Proceedings

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Berlin, Heidelberg: Springer Berlin Heidelberg, 2009

    Erschienen in: Lecture notes in computer science ; 5407