We use cookies to improve your experience with our site.

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
Current Issue Cover