Volume 29; Issue 1

1

Maximal finitely defined subalgebras of partial functions of infinite-valued logic

Year:
1993
Language:
english
File:
PDF, 1.05 MB
english, 1993
2

Dm-automata and classes of context-free languages

Year:
1993
Language:
english
File:
PDF, 520 KB
english, 1993
3

Asymptotic behavior of a renewal process thinned by an alternating process

Year:
1993
Language:
english
File:
PDF, 285 KB
english, 1993
6

Optimal experimental designs in minimax estimation problems. II

Year:
1993
Language:
english
File:
PDF, 325 KB
english, 1993
7

Probability-theoretical generalization of the second lyapunov method

Year:
1993
Language:
english
File:
PDF, 779 KB
english, 1993
8

Coalition stochastic games

Year:
1993
Language:
english
File:
PDF, 621 KB
english, 1993
10

Stochastic models of transport flow interaction at transshipment points

Year:
1993
Language:
english
File:
PDF, 568 KB
english, 1993
11

Extremal problems on complements of convex sets

Year:
1993
Language:
english
File:
PDF, 614 KB
english, 1993
12

Formalized program specifications and transformation synthesis

Year:
1993
Language:
english
File:
PDF, 1.85 MB
english, 1993
13

Maximum-frequency monitoring of program flow

Year:
1993
Language:
english
File:
PDF, 504 KB
english, 1993
14

M-calculus — a sequent method for automatic theorem proving

Year:
1993
Language:
english
File:
PDF, 496 KB
english, 1993
15

Some issues in the theory of intelligent processes. II

Year:
1993
Language:
english
File:
PDF, 395 KB
english, 1993
16

Development of inductive inference algorithms using decision trees

Year:
1993
Language:
english
File:
PDF, 300 KB
english, 1993
17

Nonpreemptive service principle for a transportation system

Year:
1993
Language:
english
File:
PDF, 249 KB
english, 1993