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
 
                             4 gevonden resultaten
nr titel auteur tijdschrift jaar jaarg. afl. pagina('s) type
1 A characterization theorem for geometric logic Caramello, Olivia
2011
162 4 p. 318-321
4 p.
artikel
2 A sorting network in bounded arithmetic Jeřábek, Emil
2011
162 4 p. 341-355
15 p.
artikel
3 On theories of bounded arithmetic for NC 1 Jeřábek, Emil
2011
162 4 p. 322-340
19 p.
artikel
4 λ -structures and s -structures: Translating the models Fuchs, Gunter
2011
162 4 p. 257-317
61 p.
artikel
                             4 gevonden resultaten
 
 Koninklijke Bibliotheek - Nationale Bibliotheek van Nederland