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
 
                             7 gevonden resultaten
nr titel auteur tijdschrift jaar jaarg. afl. pagina('s) type
1 Author Index for Volume 163 2000
163 2 p. 527-
1 p.
artikel
2 Full Abstraction for PCF Abramsky, Samson
2000
163 2 p. 409-470
62 p.
artikel
3 Inductive Synthesis of Recursive Processes from Logical Properties Kimura, Shigetomo
2000
163 2 p. 257-284
28 p.
artikel
4 On Full Abstraction for PCF: I, II, and III Hyland, J.M.E.
2000
163 2 p. 285-408
124 p.
artikel
5 Papers to Appear in Forthcoming Issues 2000
163 2 p. 528-
1 p.
artikel
6 Strong Fairness and Full Abstraction for Communicating Processes Older, Susan
2000
163 2 p. 471-509
39 p.
artikel
7 Uniform Generation of N P -Witnesses Using an N P -Oracle Bellare, Mihir
2000
163 2 p. 510-526
17 p.
artikel
                             7 gevonden resultaten
 
 Koninklijke Bibliotheek - Nationale Bibliotheek van Nederland