Digital Library
Close Browse articles from a journal
 
Search for with title:
ABCDEFGHIJKLMNOPQRSTUVWXYZ

     Journal description
       All volumes of the corresponding journal
         All issues of the corresponding volume
                                       All articles of the corresponding issues
 
                             9 results found
no title author magazine year volume issue page(s) type
1 A classification of 20-trinucleotide circular codes Michel, Christian J.
 2012
 212 C p. 55-63
9 p.
 article
2 An Algebra of Behavioural Types Ravara, António
 2012
 212 C p. 64-91
28 p.
 article
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.
 article
4 Deciding safety properties in infinite-state pi-calculus via behavioural types Acciai, Lucia
 2012
 212 C p. 92-117
26 p.
 article
5 Editorial Board 2012
 212 C p. IFC-
1 p.
 article
6 Editorial Board 2012
 212 C p. i-
1 p.
 article
7 On the expressive power of univariate equations over sets of natural numbers Okhotin, Alexander
 2012
 212 C p. 1-14
14 p.
 article
8 The price of anarchy on uniformly related machines revisited Epstein, Leah
 2012
 212 C p. 37-54
18 p.
 article
9 Unambiguous finite automata over a unary alphabet Okhotin, Alexander
 2012
 212 C p. 15-36
22 p.
 article
                             9 results found
 
 Koninklijke Bibliotheek - National Library of the Netherlands