We use cookies to improve your experience with our site.

Bounded Recursively Enumerable Sets and Degrees
Optimizing FORTRAN Programs for Hierarchical Memory Parallel Processing Systems
A Comparative Study of Default Reasoning and Epistemic Processes
A Methodology for Mapping and Partitioning Arbitrary N-Dimensional Nested Loops into 2-Dimensional VLSI Arrays
Optimized Parallel Execution of Declarative Programs on Distributed Memory Multiprocessors
An Implementation of Pure Horn Clause Logic Programming in a Reduction System
On Memory Capacity of the Probabilistic Logic Neuron Network
Cooperative Hypermedia Editing with CoMEdiA
Modelling Enterprises with Object-Oriented Paradigm
A New Local Control Spline with Shape Parameters for CAD/CAM
Current Issue Cover