Information and Computation, Volume 129

Volume 129, Number 1, 25 August 1996

• Lauri Hella: Logical Hierarchies in PTIME. 1-19 BibTeX
• Birgit Jenner, Pierre McKenzie, Denis Thérien: Logspace and Logtime Leaf Languages. 21-33 BibTeX
• Mads Dam: Model Checking Mobile Processes. 35-51 BibTeX
• Kalvis Apsitis, Rusins Freivalds, Carl H. Smith: On Duality in Learning and the Selection of Learning Terms. 53-62 BibTeX
• Svetlana Anoulova, Paul Fischer, Stefan Pölt, Hans-Ulrich Simon: Probably Almost Bayes Decisions. 63-71 BibTeX

Volume 129, Number 2, 15 September 1996

• Zhang Mingyi: A New Research into Default Logic. 73-85 BibTeX
• Giuseppe Ateniese, Carlo Blundo, Alfredo De Santis, Douglas R. Stinson: Visual Cryptography for General Access Structures. 86-106 BibTeX
• Luca Aceto, Anna Ingólfsdóttir: CPO Models for Compact GSOS Languages. 107-141 BibTeX