External Links

    Journal: J. Comput. Syst. Sci.

    Volume 76, Issue 5

    281 -- 282Wilfrid Hodges, Ruy J. G. B. de Queiroz. Editors foreword for JCSS WoLLIC 2008
    283 -- 301Christophe Calvès, Maribel Fernández. Matching and alpha-equivalence check for nominal terms
    302 -- 323Olivier Danvy, Jacob Johannsen. Inter-deriving semantic artifacts for object-oriented programming
    324 -- 332Anuj Dawar. Homomorphism preservation on quasi-wide classes
    333 -- 346Santiago Figueira, Daniel Gorín, Rafael Grimson. On the formal semantics of IF-like logics
    347 -- 355Pascal Koiran, Jürgen Landes, Natacha Portier, Penghui Yao. Adversary lower bounds for nonadaptive quantum algorithms
    356 -- 372Ilya Mezhirov, Nikolay K. Vereshchagin. On abstract resource semantics and computability logic
    373 -- 388Livio Robaldo. Interpretation and inference with maximal referential terms
    runs on