Volume 14; Issue 2

Information Processing Letters

Volume 14; Issue 2
1

A simple deduction method for modal logic

Year:
1982
Language:
english
File:
PDF, 356 KB
english, 1982
3

Strong equivalence of relational expressions under dependencies

Year:
1982
Language:
english
File:
PDF, 811 KB
english, 1982
4

Minimal storage representations for binary relations

Year:
1982
Language:
english
File:
PDF, 463 KB
english, 1982
5

The automatic synthesis of iterative programs

Year:
1982
Language:
english
File:
PDF, 941 KB
english, 1982
6

Polygonal intersection searching

Year:
1982
Language:
english
File:
PDF, 889 KB
english, 1982
7

A simple transfer lemma for algebraic specifications

Year:
1982
Language:
english
File:
PDF, 777 KB
english, 1982
8

Formal correctness proofs of a nondeterministic program

Year:
1982
Language:
english
File:
PDF, 665 KB
english, 1982
9

Parallel computation and conflicts in memory access

Year:
1982
Language:
english
File:
PDF, 537 KB
english, 1982