Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBulletin of the EATCS, Volume 95
Volume 95, June 2008
- Christoph Ambühl, Monaldo Mastrolilli, Nikolaus Mutsanas, Ola Svensson:
Precedence Constraint Scheduling and Connections to Dimension Theory of Partial Orders. Bull. EATCS 95: 37-58 (2008) - Alexander A. Sherstov:
Communication Lower Bounds Using Dual Polynomials. Bull. EATCS 95: 59-93 (2008) - Adam Antonik, Michael Huth, Kim G. Larsen, Ulrik Nyman, Andrzej Wasowski:
20 Years of Modal and Mixed Specifications. Bull. EATCS 95: 94-129 (2008) - Christian Scheideler:
Algorithms for Overlay Networks. Bull. EATCS 95: 130-152 (2008) - Frank Hermann, Hartmut Ehrig:
Process Definition using Subobject Transformation Systems. Bull. EATCS 95: 153-163 (2008) - Andreas Blass, Yuri Gurevich:
Two Forms of One Useful Logic: Existential Fixed Point Logic and Liberal Datalog. Bull. EATCS 95: 164-182 (2008) - Jarkko Kari, Siamak Taati:
Combinatorics of Conservation Laws. Bull. EATCS 95: 183-197 (2008)
- Axel Born, Cor A. J. Hurkens, Gerhard J. Woeginger:
The Freudenthal Problem and its Ramifications (Part III). Bull. EATCS 95: 201-219 (2008) - Luca Aceto, Silvio Capobianco:
On the Existence of a Finite Base for Complete Trace Equivalence over BPA with Interrupt. Bull. EATCS 95: 220-240 (2008) - Narad Rampersad:
Avoiding Sufficiently Large Binary Patterns. Bull. EATCS 95: 241-245 (2008)
a service of 
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-04-25 05:28 CEST 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:
