External Links

    Journal: Int. J. Found. Comput. Sci.

    Volume 2, Issue 4

    297 -- 399Narciso Martí-Oliet, José Meseguer. From Petri Nets to Linear Logic through Categories: A Survey
    401 -- 417Katsushi Inoue, Akira Ito, Itsuo Takanami. Alternating Turing Machines with Modified Accepting Structure
    419 -- 424Giovanni Panti. Solution of a Number Theoretic Problem Involving Knowledge
    runs on