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 classification of 20-trinucleotide circular codes Michel, Christian J.
2012
212 C p. 55-63
9 p.
artikel
2 An Algebra of Behavioural Types Ravara, António
2012
212 C p. 64-91
28 p.
artikel
3 Corrigendum to “Curry–Howard for incomplete first-order logic derivations using one-and-a-half level terms” [Inform. and Comput. 208 (3) (2010) 230–258] Gabbay, Murdoch J.
2012
212 C p. 119-
1 p.
artikel
4 Deciding safety properties in infinite-state pi-calculus via behavioural types Acciai, Lucia
2012
212 C p. 92-117
26 p.
artikel
5 Editorial Board 2012
212 C p. IFC-
1 p.
artikel
6 Editorial Board 2012
212 C p. i-
1 p.
artikel
7 On the expressive power of univariate equations over sets of natural numbers Okhotin, Alexander
2012
212 C p. 1-14
14 p.
artikel
8 The price of anarchy on uniformly related machines revisited Epstein, Leah
2012
212 C p. 37-54
18 p.
artikel
9 Unambiguous finite automata over a unary alphabet Okhotin, Alexander
2012
212 C p. 15-36
22 p.
artikel
                             9 gevonden resultaten
 
 Koninklijke Bibliotheek - Nationale Bibliotheek van Nederland