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
 
                             3 gevonden resultaten
nr titel auteur tijdschrift jaar jaarg. afl. pagina('s) type
1 A complete axiomatisation for observational congruence of finite-state behaviours Milner, Robin
1989
81 2 p. 227-247
21 p.
artikel
2 A logic of recursion Abrusci, V.Michele
1989
81 2 p. 168-226
59 p.
artikel
3 Domain theoretic models of polymorphism Coquand, Thierry
1989
81 2 p. 123-167
45 p.
artikel
                             3 gevonden resultaten
 
 Koninklijke Bibliotheek - Nationale Bibliotheek van Nederland