Volume 74; Issue 3

Theoretical Computer Science

Volume 74; Issue 3
1

The parallel numerical method of mechanical theorem proving

Jingzhong Zhang, Lu Yang, Mike Deng
Journal:
Theoretical Computer Science
Year:
1990
Language:
english
File:
PDF, 1.87 MB
english, 1990
2

An efficient algorithm for edge coloring planar graphs with Δ colors

Xin He
Journal:
Theoretical Computer Science
Year:
1990
Language:
english
File:
PDF, 1.32 MB
english, 1990
3

Lower bounds to the complexity of symmetric Boolean functions

L. Babai, P. Pudlák, V. Rödl, E. Szemeredi
Journal:
Theoretical Computer Science
Year:
1990
Language:
english
File:
PDF, 1.02 MB
english, 1990
4

Relations among mod-classes

Ulrich Hertrampf
Journal:
Theoretical Computer Science
Year:
1990
Language:
english
File:
PDF, 292 KB
english, 1990
5

A polynomial algorithm for solving systems of two linear diophantine equations

Jean-François Romeuf
Journal:
Theoretical Computer Science
Year:
1990
Language:
english
File:
PDF, 987 KB
english, 1990
6

Sur les codes zigzag et leur décidabilité

M. Anselmo
Journal:
Theoretical Computer Science
Year:
1990
File:
PDF, 1.34 MB
1990
7

On the complexity of algorithms on recursive trees

Jerzy Szymański
Journal:
Theoretical Computer Science
Year:
1990
Language:
english
File:
PDF, 476 KB
english, 1990
8

Author index volume 74 (1990)

Journal:
Theoretical Computer Science
Year:
1990
Language:
english
File:
PDF, 100 KB
english, 1990