External Links

    Journal: Fundamenta Informaticae

    Volume 29, Issue 3

    203 -- 223Francis Alexandre, Khaled Bsaïes. A Methodology for Constructing Logic Programs
    225 -- 256Christel Baier, Mila E. Majster-Cederbaum. How to Interpret and Establish Consistency Results for Semantics of Concurrent Programming Languages
    257 -- 303Markus Mohnen. A Compiler Correctness Proof for the Static Link Technique by Means of Evolving Algebras
    runs on