| nr |
titel |
auteur |
tijdschrift |
jaar |
jaarg. |
afl. |
pagina('s) |
type |
| 1 |
A Semantic Proof of Polytime Soundness of Light Affine Logic
|
Dal Lago, Ugo
|
|
2009
|
46 |
4 |
p. 673-689
|
artikel
|
| 2 |
Comparing Universal Covers in Polynomial Time
|
Fiala, Jiří
|
|
2009
|
46 |
4 |
p. 620-635
|
artikel
|
| 3 |
Complexity of the Bollobás–Riordan Polynomial. Exceptional Points and Uniform Reductions
|
Bläser, Markus
|
|
2009
|
46 |
4 |
p. 690-706
|
artikel
|
| 4 |
Logic and Rational Languages of Words Indexed by Linear Orderings
|
Bedon, Nicolas
|
|
2009
|
46 |
4 |
p. 737-760
|
artikel
|
| 5 |
On the Expressive Power of Permanents and Perfect Matchings of Matrices of Bounded Pathwidth/Cliquewidth
|
Flarup, Uffe
|
|
2009
|
46 |
4 |
p. 761-791
|
artikel
|
| 6 |
Preface
|
Artemov, Sergei
|
|
2009
|
46 |
4 |
p. 619
|
artikel
|
| 7 |
Self-Referential Justifications in Epistemic Logic
|
Kuznets, Roman
|
|
2009
|
46 |
4 |
p. 636-661
|
artikel
|
| 8 |
Simple and Improved Parameterized Algorithms for Multiterminal Cuts
|
Xiao, Mingyu
|
|
2009
|
46 |
4 |
p. 723-736
|
artikel
|
| 9 |
Two Sources Are Better than One for Increasing the Kolmogorov Complexity of Infinite Sequences
|
Zimand, Marius
|
|
2009
|
46 |
4 |
p. 707-722
|
artikel
|
| 10 |
Unidirectional Lambek Grammars in Polynomial Time
|
Savateev, Yury
|
|
2009
|
46 |
4 |
p. 662-672
|
artikel
|
Tijdschrift beschrijving