We use cookies to improve your experience with our site.
All
Title
Author
Keyword
Abstract
DOI
Category
Address
Fund
Advanced Search
All
Title
Author
Keyword
Abstract
DOI
Category
Address
Fund
PACS
EEACC
Select articles
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
Cover Articles
Top Cited Papers
Top Most Read
Download Templates
Datasets & Toolsets
×
Close
Export File
Citation
Format
RIS(for EndNote,Reference Manager,ProCite)
BibTex
Txt
Content
Citation Only
Citation and Abstract
×
Close
Citation