default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDInformation and Computation, Volume 149
Volume 149, Number 1, February 25, 1999
- Rémi Gilleron, Sophie Tison
, Marc Tommasi:
Set Constraints and Automata. 1-41 - Gilles Barthe:
Order-Sorted Inductive Types. 42-76 - Michele Boreale, Rocco De Nicola, Rosario Pugliese:
Basic Observables for Processes. 77-98
Volume 149, Number 2, March 15, 1999
- Shih Ping Tung:
Sentences over Integral Domains and Their Computational Complexities. 99-133 - Éric Badouel, Philippe Darondeau, Jean-Claude Raoult:
Context-Free Event Domains are Recognizable. 134-172 - Femke van Raamsdonk, Paula Severi, Morten Heine Sørensen, Hongwei Xi:
Perpetual Reductions in Lambda-Calculus. 173-225
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:19 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:
