Volume 269, Number 1-2, October 2001

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

last updated on Mon May 20 03:38:18 2013 by the dblp team
data released under the ODC-BY 1.0 license
see also our legal information page