|
Journal description
All volumes of the corresponding journal
All issues of the corresponding volume
All articles of the corresponding issues
14 results found
| no | title | author | magazine | year | volume | issue | page(s) | type |
| 1 | Approximations of modal logics: K and beyond |
de Souza Rabello, Guilherme |
2008 |
152 | 1-3 |
p. 161-173 13 p. |
article |
|
| 2 | A quantified logic of evidence |
Fitting, Melvin |
2008 |
152 | 1-3 |
p. 67-83 17 p. |
article |
|
| 3 | Characterising nested database dependencies by fragments of propositional logic |
Hartmann, Sven |
2008 |
152 | 1-3 |
p. 84-106 23 p. |
article |
|
| 4 | Choiceless polynomial time, counting and the Cai–Fürer–Immerman graphs |
Dawar, Anuj |
2008 |
152 | 1-3 |
p. 31-50 20 p. |
article |
|
| 5 | Contents |
2008 |
152 | 1-3 |
p. iv- 1 p. |
article |
||
| 6 | Cut elimination for a simple formulation of epsilon calculus |
Mints, G. |
2008 |
152 | 1-3 |
p. 148-160 13 p. |
article |
|
| 7 | Editorial Board |
2008 |
152 | 1-3 |
p. IFC- 1 p. |
article |
||
| 8 | Full classical S5 in natural deduction with weak normalization |
Martins, Ana Teresa |
2008 |
152 | 1-3 |
p. 132-147 16 p. |
article |
|
| 9 | Game-based notions of locality over finite models |
Arenas, Marcelo |
2008 |
152 | 1-3 |
p. 3-30 28 p. |
article |
|
| 10 | Logic, Language, Information and Computation |
de Queiroz, Ruy |
2008 |
152 | 1-3 |
p. 1-2 2 p. |
article |
|
| 11 | Lowness properties and approximations of the jump |
Figueira, Santiago |
2008 |
152 | 1-3 |
p. 51-66 16 p. |
article |
|
| 12 | Probabilistic verification and approximation |
Lassaigne, Richard |
2008 |
152 | 1-3 |
p. 122-131 10 p. |
article |
|
| 13 | System BV is NP-complete |
Kahramanoğulları, Ozan |
2008 |
152 | 1-3 |
p. 107-121 15 p. |
article |
|
| 14 | The complexity of random ordered structures |
Spencer, Joel H. |
2008 |
152 | 1-3 |
p. 174-179 6 p. |
article |
14 results found