|
Journal description
All volumes of the corresponding journal
All issues of the corresponding volume
All articles of the corresponding issues
8 results found
| no | title | author | magazine | year | volume | issue | page(s) | type |
| 1 | An informational view of classical logic |
D'Agostino, Marcello |
2015 |
606 | C |
p. 79-97 19 p. |
article |
|
| 2 | Editorial Board |
2015 |
606 | C |
p. iii-ix nvt p. |
article |
||
| 3 | Mechanizing type environments in weak HOAS |
Ciaffaglione, Alberto |
2015 |
606 | C |
p. 57-78 22 p. |
article |
|
| 4 | Proof nets and the call-by-value λ-calculus |
Accattoli, Beniamino |
2015 |
606 | C |
p. 2-24 23 p. |
article |
|
| 5 | Special Issue: Selected papers of the 7th and 8th workshops on Logical and Semantic Frameworks with Applications (LSFA) |
Finger, Marcelo |
2015 |
606 | C |
p. 1- 1 p. |
article |
|
| 6 | Subexponential concurrent constraint programming |
Olarte, Carlos |
2015 |
606 | C |
p. 98-120 23 p. |
article |
|
| 7 | Symmetric blocking |
Areces, Carlos |
2015 |
606 | C |
p. 25-41 17 p. |
article |
|
| 8 | The method of polynomial ring calculus and its potentialities |
Carnielli, Walter |
2015 |
606 | C |
p. 42-56 15 p. |
article |
8 results found