Digitale Bibliotheek
Sluiten Bladeren door artikelen uit een tijdschrift
 
   volgende >>
     Tijdschrift beschrijving
       Alle jaargangen van het bijbehorende tijdschrift
         Alle afleveringen van het bijbehorende jaargang
           Alle artikelen van de bijbehorende aflevering
                                       Details van artikel 1 van 7 gevonden artikelen
 
 
  A Calculus of Higher-Order Parameterization for Algebraic Specifications
 
 
Titel: A Calculus of Higher-Order Parameterization for Algebraic Specifications
Auteur: CENGARLE, MAR√ćA VICTORIA
WIRSING, MARTIN
Verschenen in: Logic journal of the IGPL
Paginering: Jaargang 3 (1995) nr. 4 pagina's 615-641
Jaar: 1995-07
Inhoud:
Uitgever: Oxford University Press, Oxford
Bronbestand: Elektronische Wetenschappelijke Tijdschriften
 
 

                             Details van artikel 1 van 7 gevonden artikelen
 
   volgende >>
 
 Koninklijke Bibliotheek - Nationale Bibliotheek van Nederland