Digitale Bibliotheek
Sluiten Bladeren door artikelen uit een tijdschrift
 
Zoeken naar met titel:
ABCDEFGHIJKLMNOPQRSTUVWXYZ

     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 A Logical Study of Distributed Transition Systems Lodaya, K.
 1995
 119 1 p. 91-118
28 p.
 artikel
2 A Loss Bound Model for On-Line Stochastic Prediction Algorithms Yamanishi, K.
 1995
 119 1 p. 39-54
16 p.
 artikel
3 A Lower-Bound for the Emulation of PRAM Memories on Processor Networks Hagerup, T.
 1995
 119 1 p. 124-128
5 p.
 artikel
4 A Variable Typed Logic of Effects Honsell, F.
 1995
 119 1 p. 55-90
36 p.
 artikel
5 Homomorphism Preserving Algebraic Specifications Require Hidden Sorts Bergstra, J.A.
 1995
 119 1 p. 119-123
5 p.
 artikel
6 Inhabitation of Types in the Simply Typed Lambda Calculus Dekkers, W.
 1995
 119 1 p. 14-17
4 p.
 artikel
7 Nonlinearity and Propagation Characteristics of Balanced Boolean Functions Seberry, J.
 1995
 119 1 p. 1-13
13 p.
 artikel
8 On the Power of Deterministic Transitive Closures Gradel, E.
 1995
 119 1 p. 129-135
7 p.
 artikel
9 Transfinite Reductions in Orthogonal Term Rewriting Systems Kennaway, R.
 1995
 119 1 p. 18-38
21 p.
 artikel
                             9 gevonden resultaten
 
 Koninklijke Bibliotheek - Nationale Bibliotheek van Nederland