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
 
                             5 gevonden resultaten
nr titel auteur tijdschrift jaar jaarg. afl. pagina('s) type
1 Author index for volume 85 1990
85 2 p. 242-
1 p.
artikel
2 Bisimulation and divergence Walker, D.J.
1990
85 2 p. 202-241
40 p.
artikel
3 Polynomial size Ω-branching programs and their computational power Meinel, Christoph
1990
85 2 p. 163-182
20 p.
artikel
4 Semantical analysis of specification logic Tennent, R.D.
1990
85 2 p. 135-162
28 p.
artikel
5 Sequential machines realized by group representations Conner, Michael
1990
85 2 p. 183-201
19 p.
artikel
                             5 gevonden resultaten
 
 Koninklijke Bibliotheek - Nationale Bibliotheek van Nederland