Volume 269,
Number 1-2,
October 2001
- Reihaneh Safavi-Naini, Huaxiong Wang:
Broadcast authentication for group communication.
1-21
Electronic Edition (link) BibTeX
- Rainer Kerth:
On the construction of stable models of untyped lambda-calculus.
23-46
Electronic Edition (link) BibTeX
- Flavio Corradini, Gian Luigi Ferrari, Marco Pistore:
On the semantics of durational actions.
47-82
Electronic Edition (link) BibTeX
- Paola Quaglia:
Explicit substitutions for pi-congruences.
83-134
Electronic Edition (link) BibTeX
- Oege de Moor, Ganesh Sittampalam:
Higher-order matching for program transformation.
135-162
Electronic Edition (link) BibTeX
- Yaron Riany, Nir Shavit, Dan Touitou:
Towards a practical snapshot algorithm.
163-201
Electronic Edition (link) BibTeX
- Jan A. Bergstra, Alban Ponse:
Non-regular iterators in process algebra.
203-229
Electronic Edition (link) BibTeX
- Simone Tini:
An axiomatic semantics for Esterel.
231-282
Electronic Edition (link) BibTeX
- Olivier Finkel:
Wadge hierarchy of omega context-free languages.
283-315
Electronic Edition (link) BibTeX
- Gilles Barthe, John Hatcliff, Morten Heine Sørensen:
Weak normalization implies strong normalization in a class of non-dependent pure type systems.
317-361
Electronic Edition (link) BibTeX
- Joaquín Mateos-Lago, Mario Rodríguez-Artalejo:
A declarative framework for object-oriented programming with genetic inheritance.
363-417
Electronic Edition (link) BibTeX
- Dragan Masulovic, Boza Tasic:
Operators on classes of coalgebras.
419-431
Electronic Edition (link) BibTeX
- Ingo Lepper:
Derivation lengths and order types of Knuth-Bendix orders.
433-450
Electronic Edition (link) BibTeX
- Ivo Düntsch, Szabolcs Mikulás:
Cylindric structures and dependencies in relational databases.
451-468
Electronic Edition (link) BibTeX
- Michel Rigo:
Numeration systems on a regular language: arithmetic operations, recognizability and formal power series.
469-498
Electronic Edition (link) BibTeX
Copyright © Sun May 17 00:24:41 2009
by Michael Ley (ley@uni-trier.de)