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

Volume 33; Issue 2-3

Theoretical Computer Science

Volume 33; Issue 2-3
1

A systematic study of models of abstract data types

M. Broy, M. Wirsing, C. Pair
Журнал:
Theoretical Computer Science
Рік:
1984
Мова:
english
Файл:
PDF, 3.60 MB
english, 1984
2

Conditional rewrite rules

Stéphane Kaplan
Журнал:
Theoretical Computer Science
Рік:
1984
Мова:
english
Файл:
PDF, 1.64 MB
english, 1984
3

Expressive power of typed and type-free programming languages

Elfriede Fehr
Журнал:
Theoretical Computer Science
Рік:
1984
Мова:
english
Файл:
PDF, 3.51 MB
english, 1984
4

On test sets for checking morphism equivalence on languages with fair distribution of letters

Yael Maon, Amiram Yehudai
Журнал:
Theoretical Computer Science
Рік:
1984
Мова:
english
Файл:
PDF, 2.30 MB
english, 1984
5

Some undecidability results for non-monadic Church-Rosser Thue systems

Friedrich Otto
Журнал:
Theoretical Computer Science
Рік:
1984
Мова:
english
Файл:
PDF, 1.97 MB
english, 1984
6

Deciding the inequivalence of context-free grammars with 1-letter terminal alphabet is ΣP2-complete

Dung T. Huynh
Журнал:
Theoretical Computer Science
Рік:
1984
Мова:
english
Файл:
PDF, 1.97 MB
english, 1984
7

Sur les monoides à un relateur qui sont des groupes

Dominique Perrin, Paul Schupp
Журнал:
Theoretical Computer Science
Рік:
1984
Файл:
PDF, 291 KB
1984
8

Bilimites de langages reconnaissables

Danièle Girault-Beauquier
Журнал:
Theoretical Computer Science
Рік:
1984
Файл:
PDF, 725 KB
1984
9

2nd Symposium on theoretical aspects of computer science : January 3–5, 1985, Saarbrücken, Fed. Rep. Germany

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

Author index volume 33 (1984)

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

Denotational semantics of CSP

N. Soundararajan
Журнал:
Theoretical Computer Science
Рік:
1984
Мова:
english
Файл:
PDF, 2.32 MB
english, 1984
12

The equations h(w)=wn in binary alphabets

Tero Harju, Matti Linna
Журнал:
Theoretical Computer Science
Рік:
1984
Мова:
english
Файл:
PDF, 267 KB
english, 1984