Volume 430; Issue none

Theoretical Computer Science

Volume 430; Issue none
1

Extending algebraic operations to -completions

Klaus Keimel, Jimmie D. Lawson
Journal:
Theoretical Computer Science
Year:
2012
Language:
english
File:
PDF, 314 KB
english, 2012
2

On the failure of fixed-point theorems for chain-complete lattices in the effective topos

Andrej Bauer
Journal:
Theoretical Computer Science
Year:
2012
Language:
english
File:
PDF, 237 KB
english, 2012
3

Monoidal indeterminates and categories of possible worlds

C. Hermida, R.D. Tennent
Journal:
Theoretical Computer Science
Year:
2012
Language:
english
File:
PDF, 374 KB
english, 2012
4

Inverse-limit and topological aspects of abstract interpretation

David A. Schmidt
Journal:
Theoretical Computer Science
Year:
2012
Language:
english
File:
PDF, 1.24 MB
english, 2012
5

Teleportation with an imperfect state

Marco Lanzagorta, Keye Martin
Journal:
Theoretical Computer Science
Year:
2012
Language:
english
File:
PDF, 224 KB
english, 2012
6

Ancilla-driven quantum computation with twisted graph states

J. Anders, E. Andersson, D.E. Browne, E. Kashefi, D.K.L. Oi
Journal:
Theoretical Computer Science
Year:
2012
Language:
english
File:
PDF, 397 KB
english, 2012
7

Preface

Samson Abramsky, Michael Mislove, Catuscia Palamidessi
Journal:
Theoretical Computer Science
Year:
2012
Language:
english
File:
PDF, 121 KB
english, 2012
8

Modalities in the Stone age: A comparison of coalgebraic logics

Alexander Kurz, Raul Leal
Journal:
Theoretical Computer Science
Year:
2012
Language:
english
File:
PDF, 462 KB
english, 2012
9

Editorial Board

Journal:
Theoretical Computer Science
Year:
2012
File:
PDF, 58 KB
2012