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=546
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
Trust in event structures
Mogens Nielsen
Theoretical Computer Science
546
, 2014, pp. 3-6
Events in context
Samson Abramsky
Theoretical Computer Science
546
, 2014, pp. 7-9
Causality in physics and computation
Prakash Panangaden
Theoretical Computer Science
546
, 2014, pp. 10-16
Cartesian closed categories of separable Scott domains
Andrej Bauer
,
Gordon D. Plotkin
,
Dana S. Scott
Theoretical Computer Science
546
, 2014, pp. 17-29
Branching cells for asymmetric event structures
Samy Abbes
Theoretical Computer Science
546
, 2014, pp. 32-51
Application of branching cells to QoS aware service orchestrations
Albert Benveniste
,
Claude Jard
,
Samy Abbes
Theoretical Computer Science
546
, 2014, pp. 52-62
Relating strong behavioral equivalences for processes with nondeterminism and probabilities
Marco Bernardo
,
Rocco De Nicola
,
Michele Loreti
Theoretical Computer Science
546
, 2014, pp. 63-92
Sobriety for equilogical spaces
Anna Bucalo
,
Giuseppe Rosolini
Theoretical Computer Science
546
, 2014, pp. 93-98
Revisiting the categorical interpretation of dependent type theory
Pierre-Louis Curien
,
Richard Garner
,
Martin Hofmann
Theoretical Computer Science
546
, 2014, pp. 99-119
Analytic functors between presheaf categories over groupoids
Marcelo Fiore
Theoretical Computer Science
546
, 2014, pp. 120-131
Elements of a theory of algebraic theories
J.M.E. Hyland
Theoretical Computer Science
546
, 2014, pp. 132-144
Category theoretic structure of setoids
Yoshiki Kinoshita
,
John Power
Theoretical Computer Science
546
, 2014, pp. 145-163
Complete proof systems for weighted modal logic
Kim G. Larsen
,
Radu Mardare
Theoretical Computer Science
546
, 2014, pp. 164-175
Anatomy of a domain of continuous random variables I
Michael Mislove
Theoretical Computer Science
546
, 2014, pp. 176-187
A network-conscious
\pi
-calculus and its coalgebraic semantics
Ugo Montanari
,
Matteo Sammartino
Theoretical Computer Science
546
, 2014, pp. 188-224
Rabin's theorem in the concurrency setting: A conjecture
P.S. Thiagarajan
,
Shaofa Yang
Theoretical Computer Science
546
, 2014, pp. 225-236
Realizability with a local operator of A.M. Pitts
Jaap van Oosten
Theoretical Computer Science
546
, 2014, pp. 237-243
A characterization of Moessner's sieve
Christian Clausen
,
Olivier Danvy
,
Moe Masuko
Theoretical Computer Science
546
, 2014, pp. 244-256