|
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 modal provability logic of explicit and implicit proofs |
Goris, Evan |
2009 |
161 | 3 |
p. 388-403 16 p. |
article |
|
| 2 | Automata and logics over finitely varying functions |
Chevalier, Fabrice |
2009 |
161 | 3 |
p. 324-336 13 p. |
article |
|
| 3 | Contents |
2009 |
161 | 3 |
p. iv- 1 p. |
article |
||
| 4 | Extracting the resolution algorithm from a completeness proof for the propositional calculus |
Constable, Robert |
2009 |
161 | 3 |
p. 337-348 12 p. |
article |
|
| 5 | Finite automata presentable abelian groups |
Nies, André |
2009 |
161 | 3 |
p. 458-467 10 p. |
article |
|
| 6 | Hypersequent calculi for intuitionistic logic with classical atoms |
Kurokawa, Hidenori |
2009 |
161 | 3 |
p. 427-446 20 p. |
article |
|
| 7 | Model-theoretic complexity of automatic structures |
Khoussainov, Bakhadyr |
2009 |
161 | 3 |
p. 416-426 11 p. |
article |
|
| 8 | On complexity of Ehrenfeucht–Fraïssé games |
Khoussainov, Bakhadyr |
2009 |
161 | 3 |
p. 404-415 12 p. |
article |
|
| 9 | On intuitionistic modal and tense logics and their classical companion logics: Topological semantics and bisimulations |
Davoren, J.M. |
2009 |
161 | 3 |
p. 349-367 19 p. |
article |
|
| 10 | Preface |
Artemov, Sergei |
2009 |
161 | 3 |
p. 251-252 2 p. |
article |
|
| 11 | Propositional interval neighborhood logics: Expressiveness, decidability, and undecidable extensions |
Bresolin, Davide |
2009 |
161 | 3 |
p. 289-304 16 p. |
article |
|
| 12 | Realizations and LP |
Fitting, Melvin |
2009 |
161 | 3 |
p. 368-387 20 p. |
article |
|
| 13 | Reasoning about sequences of memory states |
Brochenin, Rémi |
2009 |
161 | 3 |
p. 305-323 19 p. |
article |
|
| 14 | The complexity of recursive constraint satisfaction problems |
Marek, Victor W. |
2009 |
161 | 3 |
p. 447-457 11 p. |
article |
|
| 15 | The universal modality, the center of a Heyting algebra, and the Blok–Esakia theorem |
Bezhanishvili, Guram |
2009 |
161 | 3 |
p. 253-267 15 p. |
article |
|
| 16 | Weighted o-minimal hybrid systems |
Bouyer, Patricia |
2009 |
161 | 3 |
p. 268-288 21 p. |
article |
16 results found