Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDInformation and Computation, Volume 150
Volume 150, Number 1, April 1999
- A. J. Kfoury, Simona Ronchi Della Rocca, Jerzy Tiuryn, Pawel Urzyczyn:
Alpha-Conversion and Typability. 1-21 - Kenji Yamanishi:
Distributed Cooperative Bayesian Learning Strategies. 22-56 - Sudipto Guha, Samir Khuller:
Improved Methods for Approximating Node Weighted Steiner Trees and Connected Dominating Sets. 57-74 - Louise E. Moser, P. M. Melliar-Smith:
Byzantine-Resistant Total Ordering Algorithms. 75-111 - Norbert Blum, Robert Koch:
Greibach Normal Form Transformation Revisited. 112-118
Volume 150, Number 2, May 1999
- Angelo Gargantini
, Dino Mandrioli, Angelo Morzenti:
Dealing with Zero-Time Transitions in Axiom Systems. 119-131 - Rob Gerth, Ruurd Kuiper, Doron A. Peled, Wojciech Penczek:
A Partial Order Approach to Branching Time Logic Model Checking. 132-152 - Mariangiola Dezani-Ciancaglini, Jerzy Tiuryn, Pawel Urzyczyn:
Discrimination by Parallel Observers: The Algorithm. 153-186 - Andreas Jakoby, Rüdiger Reischuk, Christian Schindelhauer:
Malign Distributions for Average Case Circuit Complexity. 187-208 - Yonit Kesten, Amir Pnueli, Joseph Sifakis, Sergio Yovine:
Decidable Integration Graphs. 209-243 - Allan Borodin, Ran El-Yaniv:
On Randomization in On-Line Computation. 244-267 - Stéphane Grumbach, Tova Milo:
An Algebra for Pomsets. 268-306
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-07-01 21:41 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:
