Digital Library
Close Browse articles from a journal
     Journal description
       All volumes of the corresponding journal
         All issues of the corresponding volume
                                       All articles of the corresponding issues
 
                             4 results found
no title author magazine year volume issue page(s) type
1 A compositional protocol verification using relativized bisimulation Larsen, Kim G.
1992
99 1 p. 80-108
29 p.
article
2 Categorical models of polymorphism Asperti, Andrea
1992
99 1 p. 1-79
79 p.
article
3 Deterministic simulation of a single tape Turing machine by a Random Access Machine in sub-linear time Robson, J.M.
1992
99 1 p. 109-121
13 p.
article
4 Editorial Board 1992
99 1 p. i-
1 p.
article
                             4 results found
 
 Koninklijke Bibliotheek - National Library of the Netherlands