Volume 14; Issue 2

1

An analytical delay model

Year:
1999
Language:
english
File:
PDF, 1.12 MB
english, 1999
2

On dependability of computing systems

Year:
1999
Language:
english
File:
PDF, 991 KB
english, 1999
3

A syntactic proof of the conservativity of λωover λ2

Year:
1999
Language:
english
File:
PDF, 319 KB
english, 1999
4

Phase semantics for a pure noncommutative linear propositional logic

Year:
1999
Language:
english
File:
PDF, 272 KB
english, 1999
5

Characterizations and algorithms of extensions for CADL and QDL

Year:
1999
Language:
english
File:
PDF, 372 KB
english, 1999
7

An efficient parallel graph edge matching algorithm and its applications

Year:
1999
Language:
english
File:
PDF, 385 KB
english, 1999
8

A general scheme for formalizing defaults using the predicateab(I, S)

Year:
1999
Language:
english
File:
PDF, 358 KB
english, 1999
10

Decidability of mean value calculus

Year:
1999
Language:
english
File:
PDF, 514 KB
english, 1999
11

The twisted-cube connected networks

Year:
1999
Language:
english
File:
PDF, 449 KB
english, 1999
12

Multimedia data modeling based on temporal logic and XYZ System

Year:
1999
Language:
english
File:
PDF, 373 KB
english, 1999