Information and Computation, Volume 129

Volume 129, Number 1, 25 August 1996

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

Volume 129, Number 2, 15 September 1996

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

Last update Tue May 21 18:57:01 2013 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page