External Links

    Journal: New Generation Comput.

    Volume 15, Issue 4

    369 -- 402Stefan Brüning. Globally Linear Connection Method
    403 -- 420Chiun-Chieh Hsu. Mapping Two Complete Binary Trees Into the Star Graph with Quick Fault Recovery
    421 -- 448Andreas Hamfelt, Jørgen Fischer Nilsson. Towards a Logic Programming Methodology Based on Higher-Order Predicates
    449 -- 481Jean-Marc Andreoli, Remo Pareschi, Tiziana Castagnetti. Static Analysis of Linear Logic Programming

    Volume 15, Issue 3

    247 -- 292Carl Vogel, Fred Popowich. A Parametric Definition for a Family of Inheritance Reasoners
    293 -- 338M. R. K. Krishna Rao, Deepak Kapur, R. K. Shyamasundar. Proving Termination of GHC Programs
    339 -- 362Liangwei Xu, Masato Takeichi, Hideya Iwasaki. Relational Semantics for Locally Nondeterministic Programs

    Volume 15, Issue 2

    141 -- 162Suzanne W. Dietrich, Changguan Fan. On the Completeness of Naive Memoing in Prolog
    163 -- 186Abdul Sattar, Randy Goebel. Consistency-Motivated Reason Maintenance in Hypothetical Reasoning
    187 -- 204Yi-Dong Shen. An Extended Variant of Atoms Loop Check for Positive Logic Programs
    205 -- 244Alvaro A. A. Fernandes, M. Howard Williams, Norman W. Paton. A Logic-Based Integration of Active and Deductive Databases

    Volume 15, Issue 1

    1 -- 2Setsuo Arikawa, Michael M. Richter. Special Issue on Algorithmic Learning Theory
    3 -- 25Naoki Abe. Towards Realistic Theories of Learning
    27 -- 58Oksana Arnold, Klaus P. Jantke. Inductive Program Synthesis for Theory Plan Generation
    39 -- 83Christoph Globig, Klaus P. Jantke, Steffen Lange, Yasubumi Sakakibara. On Case Based Learnability of Language
    85 -- 103Akira Ishino, Akihiro Yamamoto. Generalization in Typed Equational Programming and Their Application to Learning Functions
    105 -- 140Alvis Brazma, Karlis Cerans. Noise-Tolerant Efficient Inductive Synthesis of Regular Expressions from Good Examples
    runs on