External Links

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

    Volume 6, Issue 2

    95 -- 118Stephen L. Bloom, Zoltán Ésik. Some Equational Laws of Initiality in 2CCC s
    119 -- 135Philippe Besnard, Jürg Kohlas. Evidence Theory Based on General Consequence Relations
    137 -- 153Vikraman Arvind, Johannes Köbler, Rainer Schuler. On Helping and Interactive Proof Systems
    155 -- 168Andrea E. F. Clementi, Miriam Di Ianni. Optimum Schedule Problems in Store and Forward Networks
    169 -- 186Wuxu Peng, S. Purushothaman Iyer. A New Typee of Pushdown Automata on Infinite Trees
    runs on