321 | -- | 322 | Anuj Dawar, Ruy J. G. B. de Queiroz. Editor's foreword: WoLLIC 2010 |
323 | -- | 345 | Naeem Abbasi, Osman Hasan, Sofiène Tahar. An approach for lifetime reliability analysis using theorem proving |
346 | -- | 362 | Aditi Barthwal, Michael Norrish. A mechanisation of some context-free language theory in HOL4 |
363 | -- | 374 | Tomer Kotek, Johann A. Makowsky. A representation theorem for (q-)holonomic sequences |
375 | -- | 389 | Markus Latte, Martin Lange. Branching-time logics with path relativisation |
390 | -- | 409 | Glyn Morrill, Oriol Valentín. Displacement logic for anaphora |
410 | -- | 425 | Renata Hax Sander Reiser, Benjamín C. Bedregal, G. A. A. dos Reis. Interval-valued fuzzy coimplications and related dual interval-valued conjugate functions |
427 | -- | 449 | Nadia Creignou, Odile Papini, Reinhard Pichler, Stefan Woltran. Belief revision within fragments of propositional logic |
450 | -- | 456 | Aryeh Kontorovich, Ari Trachtenberg. Deciding unique decodability of bigram counts via finite automata |
457 | -- | 467 | Adrian Ionescu, Ernst L. Leiss. On the role of complementation in implicit language equations and relations |
468 | -- | 495 | Fedor V. Fomin, Bart M. P. Jansen, Michal Pilipczuk. Preprocessing subgraph and minor problems: When does a small vertex cover help? |
496 | -- | 497 | William Hesse, Eric Allender, David A. Mix Barrington. Corrigendum to "Uniform constant-depth threshold circuits for division and iterated multiplication" [J. Comput. System Sci. 65(4) (2002) 695-716] |