Volume 58; Issue 5

Information Processing Letters

Volume 58; Issue 5
1

“Everywhere” in predicate algebra and modal logic

Year:
1996
Language:
english
File:
PDF, 574 KB
english, 1996
3

On the number of descendants in an object DAG

Year:
1996
Language:
english
File:
PDF, 449 KB
english, 1996
5

Excess in arrangements of segments

Year:
1996
Language:
english
File:
PDF, 281 KB
english, 1996
6

Multiple total stable models are definitely needed to solve unique solution problems

Year:
1996
Language:
english
File:
PDF, 588 KB
english, 1996
7

Independent sets in graphs with triangles

Year:
1996
Language:
english
File:
PDF, 387 KB
english, 1996
8

Choosing task periods to minimise system utilisation in time triggered systems

Year:
1996
Language:
english
File:
PDF, 599 KB
english, 1996