New Generation Computing
Computing Paradigms
and
Computational Intelligence

Vol. 16 No. 4

Editor-in-Chief:
Associate Editors:
 H. Tanaka
K. Furukawa, T. Sato

August 1998

 cover_image
Invited Paper
A LOTOS Based Tutorial on Formal Methods for Object-Oriented Distributed Systems
H. Bowman

Regular Papers
Non-Determinism and Weak Constraints in Datalog
S. Greco

How to Realize LSE Narrowing
A. Werner, A. Bockmayr, S. Krischer


List of Referees (1995/1996)


Copyright © 1996-2012 Ohmsha, Ltd.  All Rights Reserved.