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=308
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
Behavioural differential equations: A coinductive calculus of streams, automata, and power series
J.J.M.M. Rutten
Theoretical Computer Science
308
(1-3), 2003, pp. 1-53
Tau laws for pi calculus
Yuxi Fu
,
Zhenrong Yang
Theoretical Computer Science
308
(1-3), 2003, pp. 55-130
Distributivity of categories of coalgebras
H. Peter Gumm
,
Jesse Hughes
,
Tobias Schröder
Theoretical Computer Science
308
(1-3), 2003, pp. 131-143
Clustering for Petri nets
Walter Keller
Theoretical Computer Science
308
(1-3), 2003, pp. 145-197
Linearisability on Datalog programs
Foto Afrati
,
Manolis Gergatsoulis
,
Francesca Toni
Theoretical Computer Science
308
(1-3), 2003, pp. 199-226
Simple proof of the completeness theorem for second-order classical and intuitionistic logic by reduction to first-order mono-sorted logic
Karim Nour
,
Christophe Raffalli
Theoretical Computer Science
308
(1-3), 2003, pp. 227-237
A first-order one-pass CPS transformation
Olivier Danvy
,
Lasse R. Nielsen
Theoretical Computer Science
308
(1-3), 2003, pp. 239-257
Dependent choice, ''quote'' and the clock
Jean-Louis Krivine
Theoretical Computer Science
308
(1-3), 2003, pp. 259-276
Model checking mobile ambients
Witold Charatonik
,
Silvano Dal Zilio
,
Andrew D. Gordon
,
Supratik Mukhopadhyay
,
Jean-Marc Talbot
Theoretical Computer Science
308
(1-3), 2003, pp. 277-331
Adapting innocent game models for the Böhm tree
\lambda
-theory
Andrew D. Ker
,
Hanno Nickau
,
C.-H. Luke Ong
Theoretical Computer Science
308
(1-3), 2003, pp. 333-366
A fixpoint theory for non-monotonic parallelism
Yifeng Chen
Theoretical Computer Science
308
(1-3), 2003, pp. 367-392
Categorical foundations for randomly timed automata
P. Mateus
,
M. Morais
,
C. Nunes
,
A. Pacheco
,
A. Sernadas
,
C. Sernadas
Theoretical Computer Science
308
(1-3), 2003, pp. 393-427
Parametrized semantics of logic programs - A unifying framework
Yann Loyer
,
Nicolas Spyratos
,
Daniel Stamate
Theoretical Computer Science
308
(1-3), 2003, pp. 429-447
Self-stabilizing timestamps
Uri Abraham
Theoretical Computer Science
308
(1-3), 2003, pp. 449-515