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
 
                             9 gevonden resultaten
nr titel auteur tijdschrift jaar jaarg. afl. pagina('s) type
1 An arithmetical hierarchy in propositional dynamic logic Istrail, Sorin
1989
81 3 p. 280-289
10 p.
artikel
2 An automata theoretic decision procedure for the propositional mu-calculus Streett, Robert S.
1989
81 3 p. 249-264
16 p.
artikel
3 Author index for volume 81 1989
81 3 p. 380-
1 p.
artikel
4 Church-Rosser controlled rewriting systems and equivalence problems for deterministic context-free languages Sénizergues, G.
1989
81 3 p. 265-279
15 p.
artikel
5 Convex powerdomains II Hrbacek, Karel
1989
81 3 p. 290-317
28 p.
artikel
6 Faster optimal parallel prefix sums and list ranking Cole, Richard
1989
81 3 p. 334-352
19 p.
artikel
7 Linear-time simulation of multihead turing machines Schnitzlein, W.
1989
81 3 p. 353-363
11 p.
artikel
8 Parallei graph algorithms that are efficient on average Coppersmith, Don
1989
81 3 p. 318-333
16 p.
artikel
9 Parallel processing can be harmful: The unusual behavior of interpolation search Willard, Dan E.
1989
81 3 p. 364-379
16 p.
artikel
                             9 gevonden resultaten
 
 Koninklijke Bibliotheek - Nationale Bibliotheek van Nederland