Zum Inhalt springen

  1. Courcelle, Bruno [Sonstige Person, Familie und Körperschaft]; Grigorieff, Serge [Sonstige Person, Familie und Körperschaft] ; Institut National de Recherche en Informatique et en Automatique

    Logique et informatique : une introduction

    Bücher
    Schließen

    Merkliste

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

    Rocquencourt: INRIA, [1991]

    Erschienen in: Collection didactique ; 8

  2. Grigorieff, Serge [VerfasserIn]; Valarcher, Pierre [VerfasserIn] ; Serge Grigorieff and Pierre Valarcher [MitwirkendeR]

    Evolving Multialgebras Unify All Usual Sequential Computation Models

    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

  13. Choffrut, Christian; Grigorieff, Serge

    Fields of Logic and Computation II: Monadic Theory of a Linear Order Versus the Theory of its Subsets with the Lifted Min/Max Operations

    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 International Publishing, 2015

    Erschienen in: Fields of Logic and Computation II