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
 
                             11 gevonden resultaten
nr titel auteur tijdschrift jaar jaarg. afl. pagina('s) type
1 About Constructive vectors Duprat, Jean
2005
140 C p. 93-100
8 p.
artikel
2 Approximation Simply Characterized Waszkiewicz, Paweł
2005
140 C p. 113-117
5 p.
artikel
3 A Semantics of Realisability for the Classical Propositional Natural Deduction Nour, Karim
2005
140 C p. 31-39
9 p.
artikel
4 Asymptotic Density for Equivalence Matecki, Grzegorz
2005
140 C p. 81-91
11 p.
artikel
5 Conditional Densities of Regular Languages Kozik, Jakub
2005
140 C p. 67-79
13 p.
artikel
6 On-line Chain Partitioning as a Model for Real-time Scheduling Broniek, Przemyslaw
2005
140 C p. 15-29
15 p.
artikel
7 Preface Lescanne, Pierre
2005
140 C p. 1-
1 p.
artikel
8 Probabilistic Approach to the Lambda Definability for Fourth Order Types Zaionc, Marek
2005
140 C p. 41-54
14 p.
artikel
9 Validation of Proofs Using PhoX Thévenon, Patrick
2005
140 C p. 55-66
12 p.
artikel
10 Variants of Online Chain Partition Problem of Posets Bosek, Bartłomiej
2005
140 C p. 3-13
11 p.
artikel
11 Why the Usual Candidates of Reducibility Do Not Work for the Symmetric λμ-calculus David, René
2005
140 C p. 101-111
11 p.
artikel
                             11 gevonden resultaten
 
 Koninklijke Bibliotheek - Nationale Bibliotheek van Nederland