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
Copyright ©
Sat May 16 23:59:58 2009 by
Michael Ley
(
ley@uni-trier.de
)