Volume 7; Issue 2

1

The word problem for Smullyan's lark combinator is decidable

Year:
1989
Language:
english
File:
PDF, 354 KB
english, 1989
2

Parallel reductions in λ-calculus

Year:
1989
Language:
english
File:
PDF, 474 KB
english, 1989
5

INGRID: A graph invariant manipulator

Year:
1989
Language:
english
File:
PDF, 898 KB
english, 1989
6

An example of application of symbolic computation in solid state physics

Year:
1989
Language:
english
File:
PDF, 185 KB
english, 1989
7

Symbolic evaluation of integrals occurring in accelerator orbit theory

Year:
1989
Language:
english
File:
PDF, 229 KB
english, 1989
9

Application of NEWEUL in robot dynamics

Year:
1989
Language:
english
File:
PDF, 334 KB
english, 1989