Digitale Bibliotheek
Sluiten Bladeren door artikelen uit een tijdschrift
     Tijdschrift beschrijving
       Alle jaargangen van het bijbehorende tijdschrift
         Alle afleveringen van het bijbehorende jaargang
                                       Alle artikelen van de bijbehorende aflevering
 
                             4 gevonden resultaten
nr titel auteur tijdschrift jaar jaarg. afl. pagina('s) type
1 Alternating complexity of counting first-order logic for the subword order Kuske, Dietrich

60 1 p. 79-100
artikel
2 Minimum status of trees with a given degree sequence Guo, Haiyan

60 1 p. 1-10
artikel
3 Reactive bisimulation semantics for a process algebra with timeouts van Glabbeek, Rob

60 1 p. 11-57
artikel
4 Secret-shared RAM indefinite private and secure RAM execution of perfectly unrevealed programs Dolev, Shlomi

60 1 p. 59-78
artikel
                             4 gevonden resultaten
 
 Koninklijke Bibliotheek - Nationale Bibliotheek van Nederland