default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDTheoretical Computer Science, Volume 222
Volume 222, Numbers 1-2, July 1999
- Samson Abramsky
, Simon J. Gay, Rajagopal Nagarajan:
A Specification Structure for Deadlock-Freedom of Synchronous Processes. 1-53 - Patrick Cégielski, Denis Richard:
On Arithmetical First-Order Theories Allowing Encoding and Decoding of Lists. 55-75 - Gilberto Filé, Francesco Ranzato:
The Powerset Operator on Abstract Interpretations. 77-111 - Feng Cao, Al Borchers:
Optimal Transmission Schedules for Lightwave Networks Embedded with De Bruijn Graphs. 113-131 - Yuri Gurevich, Andrei Voronkov:
Monadic Simultaneous Rigid E-unification. 133-152 - Elena Marchiori:
Design of Abstract Domains Using First-Order Logic. 153-179 - Loïc Colson:
On Diagonal Fixed Points of Increasing Functions. 181-186 - Catherine Dufourd, Alain Finkel:
A Polynomial-Bisimilar Normalization for Reset Petri Nets. 187-194
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-11-14 21:05 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:
