|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
15 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | A coinductive calculus of binary trees |
Silva, Alexandra |
2010 |
208 | 5 |
p. 578-593 16 p. |
artikel |
|
| 2 | Adjunct elimination in Context Logic for trees |
Calcagno, Cristiano |
2010 |
208 | 5 |
p. 474-499 26 p. |
artikel |
|
| 3 | A modular and parameterized presentation of pregroup calculus |
Foret, Annie |
2010 |
208 | 5 |
p. 510-520 11 p. |
artikel |
|
| 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. |
artikel |
|
| 5 | A sketch of a dynamic epistemic semiring |
Solin, Kim |
2010 |
208 | 5 |
p. 594-604 11 p. |
artikel |
|
| 6 | Continuation semantics for the Lambek–Grishin calculus |
Bernardi, Raffaella |
2010 |
208 | 5 |
p. 397-416 20 p. |
artikel |
|
| 7 | Editorial Board (continued) |
2010 |
208 | 5 |
p. i- 1 p. |
artikel |
||
| 8 | Functional interpretations of linear and intuitionistic logic |
Oliva, Paulo |
2010 |
208 | 5 |
p. 565-577 13 p. |
artikel |
|
| 9 | Hybrid logical analyses of the ambient calculus |
Bolander, Thomas |
2010 |
208 | 5 |
p. 433-449 17 p. |
artikel |
|
| 10 | Inside Front Cover: Editorial Board |
2010 |
208 | 5 |
p. IFC- 1 p. |
artikel |
||
| 11 | Logic, language, information and computation |
Leivant, Daniel |
2010 |
208 | 5 |
p. 395-396 2 p. |
artikel |
|
| 12 | Modules over monads and initial semantics |
Hirschowitz, André |
2010 |
208 | 5 |
p. 545-564 20 p. |
artikel |
|
| 13 | Numerical constraints on XML data |
Hartmann, Sven |
2010 |
208 | 5 |
p. 521-544 24 p. |
artikel |
|
| 14 | On quantifier-rank equivalence between linear orders |
Siders, Ryan |
2010 |
208 | 5 |
p. 417-432 16 p. |
artikel |
|
| 15 | Structured anaphora to quantifier domains |
Brasoveanu, Adrian |
2010 |
208 | 5 |
p. 450-473 24 p. |
artikel |
15 gevonden resultaten