Fakultät für Informatik
-
Technische Universität München
Lehrstuhl für Effiziente Algorithmen
Die bibliographische Datenbank LEABib
Suchen
•
Liste der Journale
•
Liste der Serien
•
Liste der Konferenzen
•
Ausgewählte Publikationen
Hilfe
Suche: Journal=Theor.~Comput.~Sci. AND Volume=430
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
Monoidal indeterminates and categories of possible worlds
C. Hermida
,
R.D. Tennent
Theoretical Computer Science
430
, 2012, pp. 3-22
Inverse-limit and topological aspects of abstract interpretation
David A. Schmidt
Theoretical Computer Science
430
, 2012, pp. 23-42
On the failure of fixed-point theorems for chain-complete lattices in the effective topos
Andrej Bauer
Theoretical Computer Science
430
, 2012, pp. 43-50
Ancilla-driven quantum computation with twisted graph states
J. Anders
,
E. Andersson
,
D.E. Browne
,
E. Kashefi
,
D.K.L. Oi
Theoretical Computer Science
430
, 2012, pp. 51-72
Extending algebraic operations to D-completions
Klaus Keimel
,
Jimmie D. Lawson
Theoretical Computer Science
430
, 2012, pp. 73-87
Modalities in the Stone age: A comparison of coalgebraic logics
Alexander Kurz
,
Raul Leal
Theoretical Computer Science
430
, 2012, pp. 88-116
Teleportation with an imperfect state
Marco Lanzagorta
,
Keye Martin
Theoretical Computer Science
430
, 2012, pp. 117-125