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

Volume 56; Issue 2

Theoretical Computer Science

Volume 56; Issue 2
1

A natural semantics for modal logic over databases

W. Marek
Журнал:
Theoretical Computer Science
Рік:
1988
Мова:
english
Файл:
PDF, 2.21 MB
english, 1988
2

On the computational complexity of the abelian permutation group structure, membership and intersection problems

Costa S. Iliopoulos
Журнал:
Theoretical Computer Science
Рік:
1988
Мова:
english
Файл:
PDF, 1.19 MB
english, 1988
3

One-step recurrent terms in λ-β-calculus

Shoji Sekimoto, Sachio Hirokawa
Журнал:
Theoretical Computer Science
Рік:
1988
Мова:
english
Файл:
PDF, 902 KB
english, 1988
4

A remark on the length problem

Jeanleah Mohrherr
Журнал:
Theoretical Computer Science
Рік:
1988
Мова:
english
Файл:
PDF, 656 KB
english, 1988
5

C-tree systolic automata

E. Fachini, M. Napoli
Журнал:
Theoretical Computer Science
Рік:
1988
Мова:
english
Файл:
PDF, 3.56 MB
english, 1988
6

Multidimensional unrepetitive configurations

Arturo Carpi
Журнал:
Theoretical Computer Science
Рік:
1988
Мова:
english
Файл:
PDF, 966 KB
english, 1988
7

Contents eatcs bulletin

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