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
 
                             8 gevonden resultaten
nr titel auteur tijdschrift jaar jaarg. afl. pagina('s) type
1 An Input/Output Semantics for Distributed Program Equivalence Reasoning Bertran, Miquel
2005
137 1 p. 25-46
22 p.
artikel
2 A Tutorial on Specifying Data Structures in Maude Martí-Oliet, Narciso
2005
137 1 p. 105-132
28 p.
artikel
3 Dealing Denotationally With Stream-based Communication Hidalgo-Herrero, Mercedes
2005
137 1 p. 47-68
22 p.
artikel
4 Elimination of Local Variables from Definite Logic Programs Álvez, Javier
2005
137 1 p. 5-24
20 p.
artikel
5 Preface Lucas, Salvador
2005
137 1 p. 1-3
3 p.
artikel
6 Proving Modal Properties of Rewrite Theories Using Maude's Metalevel Pita, Isabel
2005
137 1 p. 133-150
18 p.
artikel
7 Tagged Systems: A Framework for the Specification of History-dependent Properties Rosa-Velardo, Fernando
2005
137 1 p. 151-174
24 p.
artikel
8 Unfolding-based Improvements on Fuzzy Logic Programs Julián, Pascual
2005
137 1 p. 69-103
35 p.
artikel
                             8 gevonden resultaten
 
 Koninklijke Bibliotheek - Nationale Bibliotheek van Nederland
Toegankelijkheidsverklaring