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
 
                             2 results found
no title author magazine year volume issue page(s) type
1 A sharp threshold for the phase transition of a restricted Satisfiability problem for Horn clauses Dunne, P.E.
2001
47 1 p. 1-14
14 p.
article
2 Variable binding operators in transition system specifications Middelburg, C.A.
2001
47 1 p. 15-45
31 p.
article
                             2 results found
 
 Koninklijke Bibliotheek - National Library of the Netherlands