|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
11 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | Additives of linear logic and normalization—Part I: a (restricted) Church–Rosser property |
Tortora de Falco, Lorenzo |
2003 |
294 | 3 |
p. 489-524 36 p. |
artikel |
|
| 2 | A graph-theoretic characterization theorem for multiplicative fragment of non-commutative linear logic |
Nagayama, Misao |
2003 |
294 | 3 |
p. 551-573 23 p. |
artikel |
|
| 3 | Author index |
2003 |
294 | 3 |
p. 575-576 2 p. |
artikel |
||
| 4 | Chu spaces as a semantic bridge between linear logic and mathematics |
Pratt, Vaughan |
2003 |
294 | 3 |
p. 439-471 33 p. |
artikel |
|
| 5 | Coherence for sharing proof-nets |
Guerrini, Stefano |
2003 |
294 | 3 |
p. 379-409 31 p. |
artikel |
|
| 6 | Computational isomorphisms in classical logic |
Danos, Vincent |
2003 |
294 | 3 |
p. 353-378 26 p. |
artikel |
|
| 7 | Encoding transition systems in sequent calculus |
McDowell, Raymond |
2003 |
294 | 3 |
p. 411-437 27 p. |
artikel |
|
| 8 | Handsome proof-nets: perfect matchings and cographs |
Retoré, Christian |
2003 |
294 | 3 |
p. 473-488 16 p. |
artikel |
|
| 9 | Phase semantics for light linear logic |
Kanovich, Max I |
2003 |
294 | 3 |
p. 525-549 25 p. |
artikel |
|
| 10 | Preface |
Girard, Jean-Yves |
2003 |
294 | 3 |
p. 333- 1 p. |
artikel |
|
| 11 | Towards a semantics of proofs for non-commutative logic: multiplicatives and additives |
Abrusci, V.Michele |
2003 |
294 | 3 |
p. 335-351 17 p. |
artikel |
11 gevonden resultaten