Volume 6; Issue 1

1

Editorial board

Year:
1988
Language:
english
File:
PDF, 75 KB
english, 1988
2

Critical pair criteria for completion

Year:
1988
Language:
english
File:
PDF, 1023 KB
english, 1988
5

Tietze transformations with weighted substring search

Year:
1988
Language:
english
File:
PDF, 367 KB
english, 1988
6

Parallel scheduling of recursively defined arrays

Year:
1988
Language:
english
File:
PDF, 1.15 MB
english, 1988
7

The automation of syllogistic I. Syllogistic normal forms

Year:
1988
Language:
english
File:
PDF, 916 KB
english, 1988
8

The word problem for free partially commutative groups

Year:
1988
Language:
english
File:
PDF, 420 KB
english, 1988
9

An algorithm for determining the simplicity of a modular group representation

Year:
1988
Language:
english
File:
PDF, 367 KB
english, 1988
10

Minimum number of fundamental invariants for the binary form of degree 7

Year:
1988
Language:
english
File:
PDF, 141 KB
english, 1988
11

On a particular restricted five-body problem an analysis with computer algebra

Year:
1988
Language:
english
File:
PDF, 453 KB
english, 1988
12

Computer algebra applied to itself

Year:
1988
Language:
english
File:
PDF, 388 KB
english, 1988