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
 
                             9 gevonden resultaten
nr titel auteur tijdschrift jaar jaarg. afl. pagina('s) type
1 A simple canonical representation of rational numbers Bertot, Yves
2003
85 7 p. 1-16
16 p.
artikel
2 Automath and Pure Type Systems Kamareddine, Fairouz
2003
85 7 p. 30-49
20 p.
artikel
3 Eigenvariables, bracketing and the decidability of positive minimal intuitionistic logic Dowek, Gilles
2003
85 7 p. 17-29
13 p.
artikel
4 Explicit Substitutions à la de Bruijn Kamareddine, Fairouz
2003
85 7 p. 86-105
20 p.
artikel
5 On the Structure of Mizar Types Bancerek, Grzegorz
2003
85 7 p. 69-85
17 p.
artikel
6 Polymorphic type-checking for the ramified theory of types of Principia Mathematica Holmes, M.Randall
2003
85 7 p. 125-145
21 p.
artikel
7 Preface Geuvers, Herman
2003
85 7 p. 146-147
2 p.
artikel
8 Remarks on Isomorphisms of Simple Inductive Types Chemouil, David
2003
85 7 p. 106-124
19 p.
artikel
9 Tactics and Parameters Jojgov, Gueorgui
2003
85 7 p. 50-68
19 p.
artikel
                             9 gevonden resultaten
 
 Koninklijke Bibliotheek - Nationale Bibliotheek van Nederland