Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDInformation and Computation, Volume 184
Volume 184, Number 1, 10 July 2003
- Anna Ingólfsdóttir:
A semantic theory for value-passing processes based on the late approach. 1-44 - Sanjay Jain, Efim B. Kinber, Christophe Papazian, Carl H. Smith, Rolf Wiehagen:
On the intrinsic complexity of learning recursive functions. 45-70 - Johannes Köbler, Jochen Messner, Jacobo Torán:
Optimal proof systems imply complete sets for promise classes. 71-92 - T. W. Sze, Samuel T. Chanson, Cunsheng Ding
, Tor Helleseth, Matthew Geoffrey Parker:
Logarithm cartesian authentication codes. 93-108 - Yves Métivier, Nasser Saheb, Akka Zemmari:
Analysis of a randomized rendezvous algorithm. 109-128 - Esther M. Arkin, Michael A. Bender, Joseph S. B. Mitchell, Steven Skiena:
The Lazy Bureaucrat scheduling problem. 129-146 - Faron Moller, Alexander Moshe Rabinovich:
Counting on CTL*: on the expressive power of monadic path logic. 147-159 - Josée Desharnais, Vineet Gupta, Radha Jagadeesan, Prakash Panangaden:
Approximating labelled Markov processes. 160-200 - Yuxi Fu:
Bisimulation congruence of chi calculus. 201-226 - Amir Pnueli, Yoav Rodeh, Ofer Strichman, Michael Siegel:
Erratum ("The small model property: how small can it be?" Volume 178, Number 1 [2002], pages 279-293). 227
Volume 184, Number 2, 1 August 2003
- Olga Mitina, Nikolai K. Vereshchagin:
How to use several noisy channels with unknown error probabilities. 229-241 - Adriana B. Compagnoni, Healfdene Goguen:
Typed operational semantics for higher-order subtyping. 242-297 - Ning Cai, Kwok-Yan Lam:
On identification secret sharing schemes. 298-310 - Walter Vogler:
Faster asynchronous systems. 311-342 - Marcin Jurdzinski, Mogens Nielsen, Jirí Srba:
Undecidability of domino games and hhp-bisimilarity. 343-368 - Manfred Droste, Guo-Qiang Zhang:
On transformations of formal power series. 369-383
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-05-10 18:47 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:
