Digitale Bibliotheek
Sluiten Bladeren door artikelen uit een tijdschrift
 
<< vorige    volgende >>
     Tijdschrift beschrijving
       Alle jaargangen van het bijbehorende tijdschrift
         Alle afleveringen van het bijbehorende jaargang
           Alle artikelen van de bijbehorende aflevering
                                       Details van artikel 37 van 44 gevonden artikelen
 
 
  Termination of Simply-Moded Well-Typed Logic Programs under a Tabled Execution Mechanism
 
 
Titel: Termination of Simply-Moded Well-Typed Logic Programs under a Tabled Execution Mechanism
Auteur: Verbaeten, Sofie
De Schreye, Danny
Verschenen in: Applicable algebra in engineering, communication and computing
Paginering: Jaargang 12 (2001) nr. 1-2 pagina's 157-196
Jaar: 2001
Inhoud:
Uitgever: Springer-Verlag, Berlin Heidelberg
Bronbestand: Elektronische Wetenschappelijke Tijdschriften
 
 

                             Details van artikel 37 van 44 gevonden artikelen
 
<< vorige    volgende >>
 
 Koninklijke Bibliotheek - Nationale Bibliotheek van Nederland