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 An Interpretation of Typed Objects into Typedπ-Calculus Sangiorgi, Davide
1998
143 1 p. 34-73
40 p.
artikel
2 Completeness and Non-Completeness Results with Respect to Read-Once Projections Bollig, Beate
1998
143 1 p. 24-33
10 p.
artikel
3 Investigations on Measure-one Identification of Classes of Languages Montagna, Franco
1998
143 1 p. 74-107
34 p.
artikel
4 Type Inference for Pure Type Systems Severi, Paula
1998
143 1 p. 1-23
23 p.
artikel
                             4 gevonden resultaten
 
 Koninklijke Bibliotheek - Nationale Bibliotheek van Nederland