default search action
Bulletin 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)
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.