Zum Inhalt springen

  1. Schwentick, Thomas [VerfasserIn]; Thérien, Denis [VerfasserIn]; Vollmer, Heribert [VerfasserIn] ; Thomas Schwentick and Denis Thérien and Heribert Vollmer [MitwirkendeR]

    06451 Abstracts Collection – Circuits, Logic, and Games

    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, 2007

  2. Schwentick, Thomas [VerfasserIn]; Thérien, Denis [VerfasserIn]; Vollmer, Heribert [VerfasserIn] ; Thomas Schwentick and Denis Thérien and Heribert Vollmer [MitwirkendeR]

    06451 Executive Summary – Circuits, Logic, and Games

    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, 2007

  3. Rossman, Benjamin [VerfasserIn]; Schwentick, Thomas [VerfasserIn]; Thérien, Denis [VerfasserIn]; Vollmer, Heribert [VerfasserIn] ; Benjamin Rossman and Thomas Schwentick and Denis Thérien and Heribert Vollmer [MitwirkendeR]

    10061 Abstracts Collection – Circuits, Logic, and Games

    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, 2010

  4. Rossman, Benjamin [VerfasserIn]; Schwentick, Thomas [VerfasserIn]; Thérien, Denis [VerfasserIn]; Vollmer, Heribert [VerfasserIn] ; Benjamin Rossman and Thomas Schwentick and Denis Thérien and Heribert Vollmer [MitwirkendeR]

    10061 Executive Summary – Circuits, Logic, and Games

    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, 2010

  5. Borchert, Bernd [Sonstige Person, Familie und Körperschaft]; Lange, Klaus-Jörn [Sonstige Person, Familie und Körperschaft]; Stephan, Frank [Sonstige Person, Familie und Körperschaft]; Tesson, Pascal [Sonstige Person, Familie und Körperschaft]; Therien, Denis [Sonstige Person, Familie und Körperschaft]

    The dot-depth and the polynomial hierarchy correspond on the delta levels

    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.

    Tübingen: Universität Tübingen, 2004

    Erschienen in: WSI ; 2004,3

  7. Thérien, Denis

    FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science: Regular Languages, Unambiguous Concatenation and Computational Complexity

    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.

    Springer Berlin Heidelberg, 2004

    Erschienen in: FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science

  10. Therien, Denis

    Yuriĭ L. Ershov. Opredelimost′ i rychislimost′. Russian original of the preceding. Sibirskaya shkola algebry i logiki. Nauchnaya Kniga, Novosibirsk 1996, 300 pp. - Richard Lassaigne and Michel de Rougemont. Logique et complexité. Collection informatique. Hermès, Paris 1996, viii + 322 pp

    Aufsätze
    Online ansehen
    Schließen

    Zugang

    Schließen

    Merkliste

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

    Cambridge University Press (CUP), 1998

    Erschienen in: The Journal of Symbolic Logic