Information and Computation
, Volume 148
Volume 148, Number 1, January 10, 1999
Martín Abadi
,
Andrew D. Gordon
: A Calculus for Cryptographic Protocols: The spi Calculus. 1-70
BibTeX
Antonino Salibra
,
Robert Goldblatt
: A Finite Equational Axiomatization of the Functional Algebras for the Lambda Calculus. 71-130
BibTeX
Volume 148, Number 2, February 1, 1999
Zoltán Ésik
: Group Axioms for Iteration. 131-180
BibTeX
Yuri Ozhigov
: Computations on Nondeterministic Cellular Automata. 181-201
BibTeX
Wolfgang Maass
,
Berthold Ruf
: On Computations with Pulses. 202-218
BibTeX
Steven S. Seiden
: Unfair Problems and Randomized Algorithms for Metrical Task Systems. 219-240
BibTeX
Dieter Spreen
: Corrigendum to ``On Some Decision Problems in Programming''. 241-244
BibTeX
Copyright ©
Sat May 16 23:59:59 2009 by
Michael Ley
(
ley@uni-trier.de
)