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=269
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
Broadcast authentication for group communication
Rei Safavi-Naini
,
Huaxiong Wang
Theoretical Computer Science
269
(1-2), 2001, pp. 1-21
On the construction of stable models of untyped
\lambda
-calculus
Rainer Kerth
Theoretical Computer Science
269
(1-2), 2001, pp. 23-46
On the semantics of durational actions
Flavio Corradini
,
GianLuigi Ferrari
,
Marco Pistore
Theoretical Computer Science
269
(1-2), 2001, pp. 47-82
Explicit substitutions for pi-congruences
Paola Quaglia
Theoretical Computer Science
269
(1-2), 2001, pp. 83-134
Higher-order matching for program transformation
Oege de Moor
,
Ganesh Sittampalam
Theoretical Computer Science
269
(1-2), 2001, pp. 135-162
Towards a practical snapshot algorithm
Yaron Riany
,
Nir Shavit
,
Dan Touitou
Theoretical Computer Science
269
(1-2), 2001, pp. 163-201
Non-regular iterators in process algebra
Jan A. Bergstra
,
Alban Ponse
Theoretical Computer Science
269
(1-2), 2001, pp. 203-229
An axiomatic semantics for Esterel
Simone Tini
Theoretical Computer Science
269
(1-2), 2001, pp. 231-282
Wadge hierarchy of omega context-free languages
Olivier Finkel
Theoretical Computer Science
269
(1-2), 2001, pp. 283-315
Weak normalization implies strong normalization in a class of non-dependent pure type systems
Gilles Barthe
,
John Hatcliff
,
Morten Heine Srensen
Theoretical Computer Science
269
(1-2), 2001, pp. 317-361
A declarative framework for object-oriented programming with genetic inheritance
Joaquín Mateos Lago
,
Mario Rodrígues Artalejo
Theoretical Computer Science
269
(1-2), 2001, pp. 363-417
Operators on classes of coalgebras
Dragan Mas̑ulović
,
Boz̑a Tasić
Theoretical Computer Science
269
(1-2), 2001, pp. 419-431
Derivation lengths and order types of Knuth-Bendix orders
Ingo Lepper
Theoretical Computer Science
269
(1-2), 2001, pp. 433-450
Cylindric structures and dependencies in relational databases
Ivo Düntsch
,
Szabolcs Mikulás
Theoretical Computer Science
269
(1-2), 2001, pp. 451-468
Numeration systems on a regular language: Arithmetic operations, recognizability and formal power series
Michel Rigo
Theoretical Computer Science
269
(1-2), 2001, pp. 469-498