Digital Library
Close Browse articles from a journal
     Journal description
       All volumes of the corresponding journal
         All issues of the corresponding volume
                                       All articles of the corresponding issues
 
                             15 results found
no title author magazine year volume issue page(s) type
1 A coinductive calculus of binary trees Silva, Alexandra
2010
208 5 p. 578-593
16 p.
article
2 Adjunct elimination in Context Logic for trees Calcagno, Cristiano
2010
208 5 p. 474-499
26 p.
article
3 A modular and parameterized presentation of pregroup calculus Foret, Annie
2010
208 5 p. 510-520
11 p.
article
4 A new mapping between combinatorial proofs and sequent calculus proofs read out from logical flow graphs Carbone, Alessandra
2010
208 5 p. 500-509
10 p.
article
5 A sketch of a dynamic epistemic semiring Solin, Kim
2010
208 5 p. 594-604
11 p.
article
6 Continuation semantics for the Lambek–Grishin calculus Bernardi, Raffaella
2010
208 5 p. 397-416
20 p.
article
7 Editorial Board (continued) 2010
208 5 p. i-
1 p.
article
8 Functional interpretations of linear and intuitionistic logic Oliva, Paulo
2010
208 5 p. 565-577
13 p.
article
9 Hybrid logical analyses of the ambient calculus Bolander, Thomas
2010
208 5 p. 433-449
17 p.
article
10 Inside Front Cover: Editorial Board 2010
208 5 p. IFC-
1 p.
article
11 Logic, language, information and computation Leivant, Daniel
2010
208 5 p. 395-396
2 p.
article
12 Modules over monads and initial semantics Hirschowitz, André
2010
208 5 p. 545-564
20 p.
article
13 Numerical constraints on XML data Hartmann, Sven
2010
208 5 p. 521-544
24 p.
article
14 On quantifier-rank equivalence between linear orders Siders, Ryan
2010
208 5 p. 417-432
16 p.
article
15 Structured anaphora to quantifier domains Brasoveanu, Adrian
2010
208 5 p. 450-473
24 p.
article
                             15 results found
 
 Koninklijke Bibliotheek - National Library of the Netherlands