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 191 van 243 gevonden artikelen
 
 
  Practical algorithms for MSO model-checking on tree-decomposable graphs
 
 
Titel: Practical algorithms for MSO model-checking on tree-decomposable graphs
Auteur: Langer, Alexander
Reidl, Felix
Rossmanith, Peter
Sikdar, Somnath
Verschenen in: Computer science review
Paginering: Jaargang 13-14 (2014) nr. C pagina's 36 p.
Jaar: 2014
Inhoud:
Uitgever: Elsevier Inc.
Bronbestand: Elektronische Wetenschappelijke Tijdschriften
 
 

                             Details van artikel 191 van 243 gevonden artikelen
 
<< vorige    volgende >>
 
 Koninklijke Bibliotheek - Nationale Bibliotheek van Nederland