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 A Calculus of Higher-Order Parameterization for Algebraic Specifications CENGARLE, MAR√ćA VICTORIA
1995
3 4 p. 615-641
artikel
2 Acknowledgements 1995
3 4 p. 680-680
artikel
3 A Sign-Based Extension to the Lambek Calculus for Discontinuous Constituency CALCAGNO, MIKE
1995
3 4 p. 555-578
artikel
4 Aspects of Paraconsistent Logic da COSTA, NEWTON C. A.
1995
3 4 p. 597-614
artikel
5 Interest Group in Pure and Applied Logics (IGPL) 1995
3 4 p. 682-683
artikel
6 On the Proof Theory of Program Transformations HENSON, MARTIN C.
1995
3 4 p. 643-671
artikel
7 Subscription 1995
3 4 p. 684-684
artikel
                             7 gevonden resultaten
 
 Koninklijke Bibliotheek - Nationale Bibliotheek van Nederland