default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDTheoretical Computer Science, Volume 269
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
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-10-31 20:04 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
