|
Journal description
All volumes of the corresponding journal
All issues of the corresponding volume
All articles of the corresponding issues
16 results found
| no | title | author | magazine | year | volume | issue | page(s) | type |
| 1 | A game semantics for linear logic |
Blass, Andreas |
1992 |
56 | 1-3 |
p. 183-220 38 p. |
article |
|
| 2 | Bibliography |
1992 |
56 | 1-3 |
p. 3-6 4 p. |
article |
||
| 3 | Biography |
1992 |
56 | 1-3 |
p. 1- 1 p. |
article |
||
| 4 | Bounded arithmetic for NC, ALogTIME, L and NL |
Clote, P. |
1992 |
56 | 1-3 |
p. 73-117 45 p. |
article |
|
| 5 | Cancellation laws for polynomial-time p-isolated sets |
Crossley, John N. |
1992 |
56 | 1-3 |
p. 147-172 26 p. |
article |
|
| 6 | Decision problems for propositional linear logic |
Lincoln, Patrick |
1992 |
56 | 1-3 |
p. 239-311 73 p. |
article |
|
| 7 | Editorial Board |
1992 |
56 | 1-3 |
p. ii- 1 p. |
article |
||
| 8 | Eight problems about nerode semirings (recursive ultrapowers) |
McLaughlin, T.G. |
1992 |
56 | 1-3 |
p. 137-146 10 p. |
article |
|
| 9 | How complicated is the set of stable models of a recursive logic program? |
Marek, W. |
1992 |
56 | 1-3 |
p. 119-135 17 p. |
article |
|
| 10 | Mints type deductive calculi for logic programming |
Shepherdson, J.C. |
1992 |
56 | 1-3 |
p. 7-17 11 p. |
article |
|
| 11 | Myhill's work in recursion theory |
Dekker, J.C.E. |
1992 |
56 | 1-3 |
p. 43-71 29 p. |
article |
|
| 12 | On co-simple isols and their intersection types |
Downey, Rod |
1992 |
56 | 1-3 |
p. 221-237 17 p. |
article |
|
| 13 | On the idea(1) of logical closure |
Kreisel, G. |
1992 |
56 | 1-3 |
p. 19-41 23 p. |
article |
|
| 14 | Polynomial-time abelian groups |
Cenzer, Douglas |
1992 |
56 | 1-3 |
p. 313-363 51 p. |
article |
|
| 15 | Polynomial-time analogues of isolatedness |
Harkleroad, Leon |
1992 |
56 | 1-3 |
p. 173-182 10 p. |
article |
|
| 16 | Volume 56 (1992) |
1992 |
56 | 1-3 |
p. 365- 1 p. |
article |
16 results found