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
 
                             7 results found
no title author magazine year volume issue page(s) type
1 A Calculus of Higher-Order Parameterization for Algebraic Specifications CENGARLE, MAR√ćA VICTORIA
1995
3 4 p. 615-641
article
2 Acknowledgements 1995
3 4 p. 680-680
article
3 A Sign-Based Extension to the Lambek Calculus for Discontinuous Constituency CALCAGNO, MIKE
1995
3 4 p. 555-578
article
4 Aspects of Paraconsistent Logic da COSTA, NEWTON C. A.
1995
3 4 p. 597-614
article
5 Interest Group in Pure and Applied Logics (IGPL) 1995
3 4 p. 682-683
article
6 On the Proof Theory of Program Transformations HENSON, MARTIN C.
1995
3 4 p. 643-671
article
7 Subscription 1995
3 4 p. 684-684
article
                             7 results found
 
 Koninklijke Bibliotheek - National Library of the Netherlands