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 Contents 2016
85 1P1 p. v-
1 p.
artikel
2 Editorial Board 2016
85 1P1 p. IFC-
1 p.
artikel
3 Language definitions as rewrite theories Rusu, Vlad
2016
85 1P1 p. 98-120
23 p.
artikel
4 Modeling and analyzing mobile ad hoc networks in Real-Time Maude Liu, Si
2016
85 1P1 p. 34-66
33 p.
artikel
5 Normal forms and normal theories in conditional rewriting Lucas, Salvador
2016
85 1P1 p. 67-97
31 p.
artikel
6 Rewriting logic and its applications (extended selected papers from WRLA 2014) Escobar, Santiago
2016
85 1P1 p. 1-2
2 p.
artikel
7 Termination criteria for tree automata completion Genet, Thomas
2016
85 1P1 p. 3-33
31 p.
artikel
                             7 gevonden resultaten
 
 Koninklijke Bibliotheek - Nationale Bibliotheek van Nederland