|
Journal description
All volumes of the corresponding journal
All issues of the corresponding volume
All articles of the corresponding issues
10 results found
| no | title | author | magazine | year | volume | issue | page(s) | type |
| 1 | Adversary lower bounds for nonadaptive quantum algorithms |
Koiran, Pascal |
2010 |
76 | 5 |
p. 347-355 9 p. |
article |
|
| 2 | Contents |
2010 |
76 | 5 |
p. OBC- 1 p. |
article |
||
| 3 | Editorial Board |
2010 |
76 | 5 |
p. IFC- 1 p. |
article |
||
| 4 | Editors' foreword for JCSS WoLLIC 2008 |
Hodges, Wilfrid |
2010 |
76 | 5 |
p. 281-282 2 p. |
article |
|
| 5 | Homomorphism preservation on quasi-wide classes |
Dawar, Anuj |
2010 |
76 | 5 |
p. 324-332 9 p. |
article |
|
| 6 | Inter-deriving semantic artifacts for object-oriented programming |
Danvy, Olivier |
2010 |
76 | 5 |
p. 302-323 22 p. |
article |
|
| 7 | Interpretation and inference with maximal referential terms |
Robaldo, Livio |
2010 |
76 | 5 |
p. 373-388 16 p. |
article |
|
| 8 | Matching and alpha-equivalence check for nominal terms |
Calvès, Christophe |
2010 |
76 | 5 |
p. 283-301 19 p. |
article |
|
| 9 | On abstract resource semantics and computability logic |
Mezhirov, Ilya |
2010 |
76 | 5 |
p. 356-372 17 p. |
article |
|
| 10 | On the formal semantics of IF-like logics |
Figueira, Santiago |
2010 |
76 | 5 |
p. 333-346 14 p. |
article |
10 results found