Volume 209; Issue 2

Information and Computation

Volume 209; Issue 2
2

Levels of undecidability in rewriting

Jörg Endrullis, Herman Geuvers, Jakob Grue Simonsen, Hans Zantema
Journal:
Information and Computation
Year:
2011
Language:
english
File:
PDF, 416 KB
english, 2011
4

Light logics and optimal reduction: Completeness and complexity

Patrick Baillot, Paolo Coppola, Ugo Dal Lago
Journal:
Information and Computation
Year:
2011
Language:
english
File:
PDF, 899 KB
english, 2011
5

Algorithmic randomness and monotone complexity on product space

Hayato Takahashi
Journal:
Information and Computation
Year:
2011
Language:
english
File:
PDF, 507 KB
english, 2011
6

Coinduction for preordered algebra

Răzvan Diaconescu
Journal:
Information and Computation
Year:
2011
Language:
english
File:
PDF, 281 KB
english, 2011
7

Probabilistic Logical Characterization

Holger Hermanns, Augusto Parma, Roberto Segala, Björn Wachter, Lijun Zhang
Journal:
Information and Computation
Year:
2011
Language:
english
File:
PDF, 520 KB
english, 2011
9

Observations on complete sets between linear time and polynomial time

Armin Hemmerling
Journal:
Information and Computation
Year:
2011
Language:
english
File:
PDF, 282 KB
english, 2011
10

Inside Front Cover: Editorial Board

Journal:
Information and Computation
Year:
2011
Language:
english
File:
PDF, 30 KB
english, 2011
11

Editorial Board (continued)

Journal:
Information and Computation
Year:
2011
File:
PDF, 25 KB
2011