Journal: Inf. Comput.

Volume 135, Issue 2

69 -- 112Nicola Leone, Pasquale Rullo, Francesco Scarcello. Disjunctive Stable Models: Unfounded Sets, Fixpoint Semantics, and Computation
113 -- 135Jerzy Tyszkiewicz. The Kolmogorov Expression Complexity of Logics

Volume 135, Issue 1

1 -- 14Goos Kant, Hans Leo Bodlaender. Triangulating Planar Graphs while Minimizing the Maximum Degree
15 -- 35Konstantin Skodinis, Egon Wanke. The Bounded Degree Problem for eNCE Graph Grammars
37 -- 67Rudolf Ahlswede, Ning Cai. Models of Multi-User Write-Efficient Memories and General Diametric Theorems