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

Volume 50; Issue 2

Theoretical Computer Science

Volume 50; Issue 2
1

Algebraic specifications of computable and semicomputable data types

J.A. Bergstra, J.V. Tucker
Журнал:
Theoretical Computer Science
Рік:
1987
Мова:
english
Файл:
PDF, 4.67 MB
english, 1987
2

A six-state minimal time solution to the firing squad synchronization problem

Jacques Mazoyer
Журнал:
Theoretical Computer Science
Рік:
1987
Мова:
english
Файл:
PDF, 4.00 MB
english, 1987
3

9th European workshop on applications and theory of Petri nets June 22–24, 1988, Venice, Italy

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

Categorical aspects of data type constructors

John W. Gray
Журнал:
Theoretical Computer Science
Рік:
1987
Мова:
english
Файл:
PDF, 3.35 MB
english, 1987