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
 
                             11 gevonden resultaten
nr titel auteur tijdschrift jaar jaarg. afl. pagina('s) type
1 A formal derivation of the decidability of the theory SA Hosono, C.
1994
127 1 p. 1-23
23 p.
artikel
2 Bottom-up tree pushdown automata: classification and connection with rewrite systems Coquidé, Jean-Luc
1994
127 1 p. 69-98
30 p.
artikel
3 Cancellation in context-free languages: enrichment by reduction Jantzen, M
1994
127 1 p. 149-170
22 p.
artikel
4 Editorial board 1994
127 1 p. ii-iv
nvt p.
artikel
5 On 1-inkdot alternating Turing machines with small space Inoue, Katsushi
1994
127 1 p. 171-179
9 p.
artikel
6 Oracle computations in parallel numerical linear algebra Codenotti, B.
1994
127 1 p. 99-121
23 p.
artikel
7 Parallel RAM algorithms for factorizing words Daykin, J.W.
1994
127 1 p. 53-67
15 p.
artikel
8 P-complete problems in data compression De Agostino, Sergio
1994
127 1 p. 181-186
6 p.
artikel
9 Polyominoes defined by two vectors Del Lungo, A.
1994
127 1 p. 187-198
12 p.
artikel
10 Some hierarchies for the communication complexity measures of cooperating grammar systems Hromkovič, Juraj
1994
127 1 p. 123-147
25 p.
artikel
11 Synchronized tree automata Salomaa, Kai
1994
127 1 p. 25-51
27 p.
artikel
                             11 gevonden resultaten
 
 Koninklijke Bibliotheek - Nationale Bibliotheek van Nederland