External Links

    Journal: New Generation Comput.

    Volume 16, Issue 4

    343 -- 372Howard Bowman. A LOTOS Based Tutorial on Formal Methods for Object-Oriented Distributed Systems
    373 -- 396Sergio Greco. Non-Determinism and Weak Constraints in Datalog
    397 -- 434Andreas Werner, Alexander Bockmayr, Stefan Krischer. How to Realize LSE Narrowing

    Volume 16, Issue 3

    223 -- 261Seif Haridi, Peter Van Roy, Per Brand, Christian Schulte. Programming Languages for Distributed Applications
    263 -- 281Mary Elaine Califf, Raymond J. Mooney. Advantages of Decision Lists and Implicit Negatives in Inductive Logic Programming
    283 -- 342Michael Leuschel, Danny De Schreye. Constrained Partial Deduction and the Preservation of Characteristic Trees

    Volume 16, Issue 2

    97 -- 122Didier Keymeulen, Masaya Iwata, Kenji Konaka, Yasuo Kuniyoshi, Tetsuya Higuchi. Evolvable Hardware: A Robot Navigation System Testbed
    123 -- 161Antonio Brogi, Simone Contiero. A Program Specialiser for Meta-Level Compositions of Logic Programs
    163 -- 200Maria Paola Bonacina, Jieh Hsiang. On Semantic Resolution with Lemmaizing and Contraction and a Formal Treatment of Caching
    201 -- 221Khayri A. M. Ali. A Simple Generational Real-Time Garbage Collection Scheme

    Volume 16, Issue 1

    5 -- 22Toru Ishida. Towards Communityware
    23 -- 54C. H. Ben Choi. Automata for Learning Sequential Tasks
    55 -- 74Lifeng He, Yuyan Chao, Yuka Shimajiri, Hirohisa Seki, Hidenori Itoh. A-SATCHMORE: SATCHMORE with Availability Checking
    75 -- 96Robert Glück, Andrei V. Klimov. On the Degeneration of Program Generators by Program Composition
    runs on