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

Volume 30; Issue 2

Theoretical Computer Science

Volume 30; Issue 2
1

A constructive method for abstract algebraic software specification

Herbert A. Klaeren
Журнал:
Theoretical Computer Science
Рік:
1984
Мова:
english
Файл:
PDF, 5.91 MB
english, 1984
2

The solutions of two star-height problems for regular trees

J.P. Braquelaire, B. Courcelle
Журнал:
Theoretical Computer Science
Рік:
1984
Мова:
english
Файл:
PDF, 3.36 MB
english, 1984