Theoretical Computer Science, Volume 364

Volume 364, Number 1, November 2006

Algorithmic Learning Theory, 14th International Conference on Algorithmic Learning Theory (ALT 2003)

Contributions

Ilia Nouretdinov, Vladimir Vovk:
Criterion of calibration for transductive confidence machine with limited feedback. 3-9
Electronic Edition (link) BibTeX
Vladimir Vovk:
Well-calibrated predictions from on-line compression models. 10-26
Electronic Edition (link) BibTeX
Marcus Hutter:
On generalized computable universal priors and their convergence. 27-41
Electronic Edition (link) BibTeX
Sandra Zilles:
An approach to intrinsic complexity of uniform learning. 42-61
Electronic Edition (link) BibTeX
Eric Martin, Arun Sharma, Frank Stephan:
On ordinal VC-dimension and some notions of complexity. 62-76
Electronic Edition (link) BibTeX
Thomas Zeugmann:
From learning in the limit to stochastic finite learning. 77-97
Electronic Edition (link) BibTeX
Jin Uemura, Masako Sato:
Learning of erasing primitive formal systems from positive examples. 98-114
Electronic Edition (link) BibTeX
John Case, Sanjay Jain, Rüdiger Reischuk, Frank Stephan, Thomas Zeugmann:
Learning a subclass of regular patterns in polynomial time. 115-131
Electronic Edition (link) BibTeX
Genshiro Kitagawa:
Signal extraction and knowledge discovery based on statistical modeling. 132-142
Electronic Edition (link) BibTeX

Logic, Language, Information and Computation, 11th Workshop on Logic, Language, Information and Computation Preface

Contributions

Gianluigi Bellin, Martin Hyland, Edmund Robinson, Christian Urban:
Categorical proof theory of classical propositional calculus. 146-165
Electronic Edition (link) BibTeX
Thomas Ehrhard, Laurent Regnier:
Differential interaction nets. 166-195
Electronic Edition (link) BibTeX
Olivier Finkel:
On decidability properties of local sentences. 196-211
Electronic Edition (link) BibTeX
Sven Hartmann, Sebastian Link:
Deciding implication for functional dependencies in complex-value databases. 212-240
Electronic Edition (link) BibTeX
Michael Kaminski, Julia Rubin-Mosin:
Default theories over monadic languages. 241-253
Electronic Edition (link) BibTeX
John Power:
Generic models for computational effects. 254-269
Electronic Edition (link) BibTeX

Applied Semantics Preface

Contributions

Frédéric Besson, Thomas P. Jensen, David Pichardie:
Proof-carrying code from certified abstract interpretation and fixpoint compression. 273-291
Electronic Edition (link) BibTeX
Peeter Laud, Tarmo Uustalu, Varmo Vene:
Type systems equivalent to data-flow analyses for imperative languages. 292-310
Electronic Edition (link) BibTeX
Andrew Kennedy:
Securing the .NET programming model. 311-317
Electronic Edition (link) BibTeX
Dominique Cansell, Dominique Méry:
Formal and incremental construction of distributed algorithms: On the distributed reference counting algorithm. 318-337
Electronic Edition (link) BibTeX
Joachim Niehren, Jan Schwinghammer, Gert Smolka:
A concurrent lambda calculus with futures. 338-356
Electronic Edition (link) BibTeX