Number 298, Volume 1, 4 April 2003
- Akihiro Yamamoto:
Hypothesis finding based on upward refinement of residue hypotheses.
5-19

- Hiroshi Sakamoto, Kouichi Hirata, Hiroki Arimura:
Learning elementary formal systems with queries.
21-50

- Steffen Lange, Gunter Grieser, Klaus P. Jantke:
Advanced elementary formal systems.
51-70

- Steffen Lange, Jochen Nessel:
Decision lists over regular patterns.
71-87

- Yasuhito Mukouchi, Masako Sato:
Refutable language learning with a neighbor system.
89-110

- Sanjay Jain, Efim B. Kinber, Rolf Wiehagen, Thomas Zeugmann:
On learning of functions refutably.
111-143

- Wolfgang Merkle, Frank Stephan:
Refuting learning revisited.
145-177

- Takashi Yokomori:
Polynomial-time identification of very simple grammars from positive data.
179-206

- Seishi Okamoto, Nobuhiro Yugami:
Effects of domain characteristics on instance-based learning algorithms.
207-233

- Tatsuya Akutsu, Satoru Kuhara, Osamu Maruyama, Satoru Miyano:
Identification of genetic networks by strategic gene disruptions and gene overexpressions under a boolean model.
235-251

- Takuya Kida, Tetsuya Matsumoto, Yusuke Shibata, Masayuki Takeda, Ayumi Shinohara, Setsuo Arikawa:
Collage system: a unifying framework for compressed pattern matching.
253-272

Number 298, Volume 2, 8 April 2003
Number 298, Volume 3, 11 April 2003
- Martín Abadi, Bruno Blanchet:
Secrecy types for asymmetric communication.
387-415

- Luca Aceto, Zoltán Ésik, Anna Ingólfsdóttir:
Equational theories of tropical semirings.
417-469

- Michel Bidoit, Rolf Hennicker, Alexander Kurz:
Observational logic, constructor-based logic, and their duality.
471-510

- Mikolaj Bojanczyk:
The finite graph problem for two-way alternating automata.
511-528

- Nadia Busi, Gianluigi Zavattaro:
Expired data collection in shared dataspaces.
529-556

- Cristiano Calcagno, Peter W. O'Hearn, Richard Bornat:
Program logic and equivalence in the presence of garbage collection.
557-581

- Gerwin Klein, Tobias Nipkow:
Verified bytecode verifiers.
583-626

Last update Wed May 22 18:53:27 2013
CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page