Skip to contents

  3. Bezhanishvili, Nick [Editor] ; International Tbilisi Symposium on Logic, Language, and Computation 8 2009 Bakuriani

    Logic, language, and computation : 8th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2009, Bakuriani, Georgia, September 21-25, 2009 ; revised selected papers

    Books
    Close

    Bookmarks

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

    Berlin; Heidelberg [u.a.]: Springer, 2011

    Published in: Lecture notes in computer science ; 6618

  4. Zhou, Chaochen [Author]; Hansen, Michael R. [Author]

    Duration calculus : a formal approach to real-time systems

    Books
    Close

    Bookmarks

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

    Berlin; Heidelberg; New York: Springer, [2004]

    Published in: Monographs in theoretical computer science- an EATCS series

  5. Cate, Balder David ten [Other]; Zeevat, Henk W. [Other]; Cate, Balder D. ten [Editor] ; International Tbilisi Symposium on Logic, Language, and Computation 6 2005 Batumi

    Logic, language, and computation : 6th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2005, Batumi, Georgia, September 12 - 16, 2005 ; revised selected papers

    Books
    Close

    Bookmarks

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

    Berlin; Heidelberg [u.a.]: Springer, 2007

    Published in: Lecture notes in computer science ; 4363

  6. Bosch, Peter [Editor]; Gabelaia, David [Other]; Lang, Jérôme [Other] ; International Tbilisi Symposium on Logic, Language, and Computation 7 2007 T'bilisi

    Logic, language, and computation : 7th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2007, Tbilisi, Georgia, October 1 - 5, 2007; revised selected papers

    Books
    Close

    Bookmarks

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

    Berlin; Heidelberg [u.a.]: Springer, 2009

    Published in: Lecture notes in computer science ; 5422

  13. Cate, Balder D. [Other]; Zeevat, Henk W. [Other]

    Logic, Language, and Computation : 6th International Tbilisi Symposium on Logic, Language, and Computation,TbiLLC 2005 Batumi, Georgia, September 12-16, 2005. Revised Selected Papers

    Books
    View online
    Schließen
    Close

    Bookmarks

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

    Berlin, Heidelberg: Springer Berlin Heidelberg, 2007

    Published in: Lecture notes in computer science ; 4363

  15. Hutchison, David [Other]; Nierstrasz, Oscar [Other]; Ono, Hiroakira [Other]; Pandu Rangan, C. [Other]; Queiroz, Ruy [Other]; Siekmann, Jörg [Other]; Steffen, Bernhard [Other]; Sudan, Madhu [Other]; Terzopoulos, Demetri [Other]; Tygar, Doug [Other]; Vardi, Moshe Y. [Other]; Goebel, Randy [Other]; Wahlster, Wolfgang [Other]; Weikum, Gerhard [Other]; Kanade, Takeo [Other]; Kanazawa, Makoto [Other]; Kittler, Josef [Other]; Kleinberg, Jon [Other]; Mattern, Friedemann [Other]; Mitchell, John C. [Other]; Naor, Moni [Other]

    Logic, Language, Information and Computation : 16th International Workshop, WoLLIC 2009, Tokyo, Japan, June 21-24, 2009. Proceedings

    Books
    View online
    Schließen
    Close

    Bookmarks

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

    Berlin, Heidelberg: Springer Berlin Heidelberg, 2009

    Published in: Lecture notes in computer science ; 5514

  17. Kohlenbach, Ulrich [Author] ; Barceló, Pablo [Editor]; Queiroz, Ruy [Editor]

    Logic, Language, Information, and Computation : 21st International Workshop, WoLLIC 2014, Valparaíso, Chile, September 1-4, 2014. Proceedings

    Books
    View online
    Schließen
    Close

    Bookmarks

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

    Berlin, Heidelberg: Springer, 2014

    Published in: Lecture notes in computer science ; 8652

  18. Libkin, Leonid [Author] ; Kohlenbach, Ulrich [Editor]; Queiroz, Ruy [Editor]

    Logic, Language, Information, and Computation : 20th International Workshop, WoLLIC 2013, Darmstadt, Germany, August 20-23, 2013. Proceedings

    Books
    View online
    Schließen
    Close

    Bookmarks

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

    Berlin, Heidelberg: Springer, 2013

    Published in: Lecture notes in computer science ; 8071

  19. Leivant, Daniel [Other]; Queiroz, Ruy [Other]

    Logic, Language, Information and Computation : 14th International Workshop, WoLLIC 2007, Rio de Janeiro, Brazil, July 2-5, 2007. Proceedings

    Books
    View online
    Schließen
    Close

    Bookmarks

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

    Berlin, Heidelberg: Springer Berlin Heidelberg, 2007

    Published in: Lecture notes in computer science ; 4576

  20. Bezhanishvili, Nick [Author] ; Löbner, Sebastian [Other]; Schwabe, Kerstin [Other]; Spada, Luca [Other]

    Logic, Language, and Computation : 8th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2009, Bakuriani, Georgia, September 21-25, 2009. Revised Selected Papers

    Books
    View online
    Schließen
    Close

    Bookmarks

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

    Berlin, Heidelberg: Springer Berlin Heidelberg, 2011

    Published in: Lecture notes in computer science ; 6618