Volume 13, Number 1, January 1998
: An interactive learning algorithm for acquisition of concepts represented as CFL.
, Wei Li
: A hopeful CNF-SAT algorithm - Its high efficiency, industrial application and limitation.
: Intuitionistic logic as the implement of incremental model construction for natural language.
, Nanning Zheng
: Multiplicative inhibitory velocity detector and multi-velocity motion detection neural network model.
: A topology designing system for a computer network.
Volume 13, Number 2, March 1998
, Peisu Xia
: Out-of-order execution in sequentially consistent shared-memory systems: Theory and experiments.
: Parallel implementation of linear algebra problems on Dawning-1000.
, Qiaolin Yang
: Functional-level Fault Simulation with concurrent and parallel mechanisms using object-oriented VLSI model.
: Tableau systems for paraconsistency and minimal inconsistency.
Volume 13, Number 3, May 1998
: Symmetric π-calculus.
Volume 13, Number 4, July 1998
: Extracting schema from an OEM database.
: Graph traversal and top-down evaluation of logic queries.
: Normalized exponential neural networks.
Volume 13, Number 5, September 1998
, Shaowei Xia
: A multiscale approach to automatic medical image segmentation using self-organizing map.
, Guangmao Wu
: Element-partition-based methods for visualization of 3D unstructured grid data.
: A neural network model based on logical operations.
Volume 13, Number 6, November 1998
: Playing games and proving properties of concurrent systems.
: Some notes on graph automata, tiling systems and partition logic.
: A crash course in λ-calculus.
: Another definition of order-sorted algebra.
: Formal derivation of graph algorithmic programs using partition-and-recur.
: Dependent type system with subtyping (I) type level transitivity elimination.
: Structures definable in polymorphism.
: ρ Graph: Rendezvous ordering graph for Ada concurrent programs.