We use cookies to improve your experience with our site.

A Type-Theoretic Approach to Program Development
A Deductive Database Approach for Complex Objects
An Efficient Algorithm for Processing Multi-Relation Queries in Relational Databases
Automatic and Hierarchical Verification for Concurrent Systems
A Goal-Type Driven Method of Solving Horn Logic with Equality
Why SA Can Beat the Exponential Explosion in Heuristic Search
A Characterization of Achievable Patterns of the MN-Puzzle Problem
Detecting and Locating Failures in Communication Networks
Macro-Dataflow Computational Model and Its Simulation
A Framework for Command Recovery in User Interface
Some Hard Examples for the Resolution Method
Current Issue Cover