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
On Dependability of Computing Systems
A Syntactic Proof of the Conservativity ofλ_ω overλ_2
Phase Semantics for a Pure NoncommutativeLinear Propositional Logic
Characterizations and Algorithms of Extensionsfor CADL and QDL
Deciding Quasi-Reducibility Using Witnessed Test Sets
An Efficient Parallel Graph Edge Matching Algorithmand Its Applications
A General Scheme for Formalizing Defaults Usingthe Predicate ab(I,S)
Universal Abstract Consistency Class and Universal Refutation
Decidability of Mean Value Calculus
The Twisted-Cube Connected Networks
Multimedia Data Modeling Based on TemporalLogic and XYZ System
An Analytical Delay Model
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