External Links

    Journal: Journal of Logic and Computation

    Volume 12, Issue 2

    215 -- 0Irène Guessarian. Editorial
    217 -- 242Jirí Adámek. Final Coalgebras are Ideal Completions of Initial Algebras
    243 -- 253Danièle Beauquier, Alexander Moshe Rabinovich. Monadic Logic of Order over Naturals has no Finite Base
    255 -- 269Mads Dam, Dilian Gurov. µ-Calculus with Explicit Points and Approximations
    271 -- 300Zoltán Ésik. Continuous Additive Algebras and Injective Simulations of Synchronization Trees
    301 -- 320Flavio Corradini, Rocco De Nicola, Anna Labella. An Equational Axiomatization of Bisimulation over Regular Expressions
    321 -- 342Mathieu Jaume. On Greatest Fixpoint Semantics of Logic Programming
    runs on