External Links

    Journal: Inf. Comput.

    Volume 148, Issue 2

    131 -- 180Zoltán Ésik. Group Axioms for Iteration
    181 -- 201Yuri Ozhigov. Computations on Nondeterministic Cellular Automata
    202 -- 218Wolfgang Maass, Berthold Ruf. On Computations with Pulses
    219 -- 240Steven S. Seiden. Unfair Problems and Randomized Algorithms for Metrical Task Systems
    241 -- 244Dieter Spreen. Corrigendum to On Some Decision Problems in Programming

    Volume 148, Issue 1

    1 -- 70Martín Abadi, Andrew D. Gordon. A Calculus for Cryptographic Protocols: The spi Calculus
    71 -- 130Antonino Salibra, Robert Goldblatt. A Finite Equational Axiomatization of the Functional Algebras for the Lambda Calculus
    runs on