Journal: Theory Comput. Syst.

Volume 46, Issue 4

619 -- 0Sergei N. Artëmov, Volker Diekert, Alexander A. Razborov. Preface
620 -- 635Jirí Fiala, Daniël Paulusma. Comparing Universal Covers in Polynomial Time
636 -- 661Roman Kuznets. Self-Referential Justifications in Epistemic Logic
662 -- 672Yury Savateev. Unidirectional Lambek Grammars in Polynomial Time
673 -- 689Ugo Dal Lago, Martin Hofmann. A Semantic Proof of Polytime Soundness of Light Affine Logic
690 -- 706Markus Bläser, Holger Dell, Johann A. Makowsky. Complexity of the Bollobás-Riordan Polynomial. Exceptional Points and Uniform Reductions
707 -- 722Marius Zimand. Two Sources Are Better than One for Increasing the Kolmogorov Complexity of Infinite Sequences
723 -- 736Mingyu Xiao. Simple and Improved Parameterized Algorithms for Multiterminal Cuts
737 -- 760Nicolas Bedon, Alexis Bès, Olivier Carton, Chloe Rispal. Logic and Rational Languages of Words Indexed by Linear Orderings
761 -- 791Uffe Flarup, Laurent Lyaudet. On the Expressive Power of Permanents and Perfect Matchings of Matrices of Bounded Pathwidth/Cliquewidth