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

Volume 155; Issue 1

Theoretical Computer Science

Volume 155; Issue 1
1

The expressiveness of a family of finite set languages

Neil Immerman, Sushant Patnaik, David Stemple
Журнал:
Theoretical Computer Science
Рік:
1996
Мова:
english
Файл:
PDF, 1.48 MB
english, 1996
2

Fixed-point operations on ccc's. Part I

Stephen L. Bloom, Zoltán Ésik
Журнал:
Theoretical Computer Science
Рік:
1996
Мова:
english
Файл:
PDF, 1.23 MB
english, 1996
3

From CML to its process algebra

Flemming Nielson, Hanne Riis Nielson
Журнал:
Theoretical Computer Science
Рік:
1996
Мова:
english
Файл:
PDF, 1.71 MB
english, 1996
4

A useful λ-notation

Fairouz Kamareddine, Rob Nederpelt
Журнал:
Theoretical Computer Science
Рік:
1996
Мова:
english
Файл:
PDF, 1.14 MB
english, 1996
5

Quasi-prime algebraic domains

Guo-Qiang Zhang
Журнал:
Theoretical Computer Science
Рік:
1996
Мова:
english
Файл:
PDF, 1.82 MB
english, 1996
6

Two beta-equal lambda-I-terms with no types in common

M.W. Bunder, J.R. Hindley
Журнал:
Theoretical Computer Science
Рік:
1996
Мова:
english
Файл:
PDF, 82 KB
english, 1996
7

Uniqueness of Scott's reflexive domain in Pω

Thomas Drakengren
Журнал:
Theoretical Computer Science
Рік:
1996
Мова:
english
Файл:
PDF, 352 KB
english, 1996
8

Computing minimal models by partial instantiation

Vadim Kagan, Anil Nerode, V.S. Subrahmanian
Журнал:
Theoretical Computer Science
Рік:
1996
Мова:
english
Файл:
PDF, 1018 KB
english, 1996
9

G-networks with multiple classes of negative and positive customers

Jean-Michel Fourneau, Erol Gelenbe, Rina Suros
Журнал:
Theoretical Computer Science
Рік:
1996
Мова:
english
Файл:
PDF, 623 KB
english, 1996
10

Locality and interleaving semantics in calculi for mobile processes

Davide Sangiorgi
Журнал:
Theoretical Computer Science
Рік:
1996
Мова:
english
Файл:
PDF, 2.01 MB
english, 1996
11

Number of models and satisfiability of sets of clauses

Wenhui Zhang
Журнал:
Theoretical Computer Science
Рік:
1996
Мова:
english
Файл:
PDF, 544 KB
english, 1996