default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDInformation and Computation, Volume 185
Volume 185, Number 1, 25 August 2003
- Baruch Awerbuch, Yair Bartal, Amos Fiat:
Competitive distributed file allocation. 1-40 - J. Kevin Lanctôt, Ming Li, Bin Ma, Shaojiu Wang, Louxin Zhang:
Distinguishing string selection problems. 41-55 - Shih Ping Tung:
Skolem functions of arithmetical sentences. 56-65 - Alejandro López-Ortiz, Sven Schuierer:
Searching and on-line recognition of star-shaped polygons. 66-88 - Sanjay Jain, Frank Stephan
:
Learning by switching type of information. 89-104 - Nancy A. Lynch, Roberto Segala, Frits W. Vaandrager:
Hybrid I/O automata. 105-157
Volume 185, Number 2, 15 September 2003
- Matthias Jantzen, Alexy Kurganskyy:
Refining the hierarchy of blind multicounter languages and twist-closed trios. 159-181 - Paul Blain Levy, John Power, Hayo Thielecke:
Modelling environments in call-by-value programming languages. 182-210 - Silvio Valentini, Matteo Viale:
A binary modal logic for the intersection types of lambda-calculus. 211-232 - Roberto Maieli, Paul Ruet:
Non-commutative logic III: focusing proofs. 233-262 - Thomas Strahm:
Theories with self-application and computational complexity. 263-297 - Joel Ratsaby:
On learning multicategory classification with sample queries. 298-327
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 2025-12-04 01:39 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:
