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
 
                             6 gevonden resultaten
nr titel auteur tijdschrift jaar jaarg. afl. pagina('s) type
1 Algebraic simulations Meseguer, José
2010
79 2 p. 103-143
41 p.
artikel
2 Axiomatizing the equational theory of regular tree languages Ésik, Z.
2010
79 2 p. 189-213
25 p.
artikel
3 Contents 2010
79 2 p. iii-
1 p.
artikel
4 Editorial Board 2010
79 2 p. IFC-
1 p.
artikel
5 Normal design algebra Guttmann, Walter
2010
79 2 p. 144-173
30 p.
artikel
6 Quasi-boolean encodings and conditionals in algebraic specification Diaconescu, Răzvan
2010
79 2 p. 174-188
15 p.
artikel
                             6 gevonden resultaten
 
 Koninklijke Bibliotheek - Nationale Bibliotheek van Nederland