Volume 16,
Number 1,
February 2006
Volume 16,
Number 2,
April 2006
Volume 16,
Number 3,
June 2006
Volume 16,
Number 4,
August 2006
- Maribel Fernández, Ian Mackie:
Developments in computational models: introduction.
553-555
Electronic Edition (link) BibTeX
- Jean-Pierre Banâtre, Pascal Fradet, Yann Radenac:
Generalised multisets for chemical programming.
557-580
Electronic Edition (link) BibTeX
- Simon J. Gay:
Quantum programming languages: survey and bibliography.
581-600
Electronic Edition (link) BibTeX
- Simon Perdrix, Philippe Jorrand:
Classically controlled quantum computation.
601-620
Electronic Edition (link) BibTeX
- Alessandra Di Pierro, Chris Hankin, Herbert Wiklicky:
Reversible combinatory logic.
621-637
Electronic Edition (link) BibTeX
- François-Régis Sinot:
Call-by-need in token-passing nets.
639-666
Electronic Edition (link) BibTeX
- Daniel J. Dougherty, Pierre Lescanne, Luigi Liquori:
Addressed term rewriting systems: application to a typed object calculus.
667-709
Electronic Edition (link) BibTeX
- Ugo Dal Lago, Patrick Baillot:
On light logics, uniform encodings and polynomial time.
713-733
Electronic Edition (link) BibTeX
Volume 16,
Number 5,
October 2006
- S. Barry Cooper, Benedikt Löwe, Dag Normann:
Mathematics of computing at CiE 2005.
735-736
Electronic Edition (link) BibTeX
- Andrew E. M. Lewis, George Barmpalias:
Random reals and Lipschitz continuity.
737-749
Electronic Edition (link) BibTeX
- Ulrich Berger:
Continuous semantics for strong normalisation.
751-762
Electronic Edition (link) BibTeX
- Douglas A. Cenzer, Jeffrey B. Remmel:
On the complexity of inductive definitions.
763-788
Electronic Edition (link) BibTeX
- Rodney G. Downey, Wolfgang Merkle, Jan Reimann:
Schnorr dimension.
789-811
Electronic Edition (link) BibTeX
- Olivier Finkel:
Borel ranks and Wadge degrees of context free omega-languages.
813-840
Electronic Edition (link) BibTeX
- Carl G. Jockusch Jr., Angsheng Li:
Restricted jump interpolation in the d.c.e. degrees.
841-865
Electronic Edition (link) BibTeX
- Peter Koepke, Martin Koerwien:
Ordinal computations.
867-884
Electronic Edition (link) BibTeX
- Thierry Coquand, Henri Lombardi:
A logical approach to abstract algebra.
885-900
Electronic Edition (link) BibTeX
- Ivan N. Soskov, Bogomil Kovachev:
Uniform regular enumerations.
901-924
Electronic Edition (link) BibTeX
- Andreas Weiermann:
An extremely sharp phase transition threshold for the slow growing hierarchy.
925-946
Electronic Edition (link) BibTeX
Volume 16,
Number 6,
December 2006
Copyright © Sun May 17 00:14:19 2009
by Michael Ley (ley@uni-trier.de)