Пожертвування 15 вересня 2024 – 1 жовтня 2024 Про збір коштів

Volume 66; Issue 1

Theoretical Computer Science

Volume 66; Issue 1
1

On the order of approximation in approximative triadic decompositions of tensors

Thomas Lehmkuhl, Thomas Lickteig
Журнал:
Theoretical Computer Science
Рік:
1989
Мова:
english
Файл:
PDF, 1.51 MB
english, 1989
2

Abstraction problems in combinatory logic: A compositive approach

Adolfo Piperno
Журнал:
Theoretical Computer Science
Рік:
1989
Мова:
english
Файл:
PDF, 1.54 MB
english, 1989
3

An efficient algorithm to decide whether a monoid presented by a regular church-rosser thue system is a group

Zhang Luo Xin
Журнал:
Theoretical Computer Science
Рік:
1989
Мова:
english
Файл:
PDF, 1.10 MB
english, 1989
4

On LC(0) grammars and languages

Rieks op den Akker
Журнал:
Theoretical Computer Science
Рік:
1989
Мова:
english
Файл:
PDF, 2.19 MB
english, 1989
5

The complexity of Gentzen systems for propositional logic

Alasdair Urquhart
Журнал:
Theoretical Computer Science
Рік:
1989
Мова:
english
Файл:
PDF, 1.05 MB
english, 1989
6

Editorial Board

Журнал:
Theoretical Computer Science
Рік:
1989
Мова:
english
Файл:
PDF, 187 KB
english, 1989
7

On monotone simulations of nonmonotone networks

Paul E. Dunne
Журнал:
Theoretical Computer Science
Рік:
1989
Мова:
english
Файл:
PDF, 1.09 MB
english, 1989
8

Observations concerning a public-key cryptosystem based on iterated morphisms

Jarkko Kari
Журнал:
Theoretical Computer Science
Рік:
1989
Мова:
english
Файл:
PDF, 922 KB
english, 1989
9

On sets of solutions to combinator equations

Rick Statman
Журнал:
Theoretical Computer Science
Рік:
1989
Мова:
english
Файл:
PDF, 469 KB
english, 1989
10

Weakly adaptive comparison searching

Andrzej Pelc
Журнал:
Theoretical Computer Science
Рік:
1989
Мова:
english
Файл:
PDF, 667 KB
english, 1989
11

Functions computed by monotone boolean formulas with no repeated variables

Daniele Mundici
Журнал:
Theoretical Computer Science
Рік:
1989
Мова:
english
Файл:
PDF, 227 KB
english, 1989