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

Volume 184; Issue 1-2

Theoretical Computer Science

Volume 184; Issue 1-2
1

A logical semantics for depth-first prolog with ground negation

James Andrews
Журнал:
Theoretical Computer Science
Рік:
1997
Мова:
english
Файл:
PDF, 2.66 MB
english, 1997
2

Algebraic transformation of unary partial algebras I. double-pushout approach

P. Burmeister, F. Rosselló, J. Torrens, G. Valiente
Журнал:
Theoretical Computer Science
Рік:
1997
Мова:
english
Файл:
PDF, 3.22 MB
english, 1997
3

Dynamic constraints and object migration

Jianwen Su
Журнал:
Theoretical Computer Science
Рік:
1997
Мова:
english
Файл:
PDF, 2.96 MB
english, 1997
4

Liminf convergence in Ω-categories

Kim Ritter Wagner
Журнал:
Theoretical Computer Science
Рік:
1997
Мова:
english
Файл:
PDF, 2.62 MB
english, 1997
5

0–1 laws by preservation

Thierry Lacoste
Журнал:
Theoretical Computer Science
Рік:
1997
Мова:
english
Файл:
PDF, 612 KB
english, 1997
6

Corrigendum to “Higher-order subtyping” [Theoret. Comput. Sci. 176(1–2) (1997) 235–282]

Benjamin Pierce, Martin Steffen
Журнал:
Theoretical Computer Science
Рік:
1997
Мова:
english
Файл:
PDF, 62 KB
english, 1997
7

A unifying view for logic programming with non-monotonic reasoning

Antonio Brogi, Evelina Lamma, Paolo Mancarella, Paola Mello
Журнал:
Theoretical Computer Science
Рік:
1997
Мова:
english
Файл:
PDF, 3.96 MB
english, 1997
8

Author index volume 184 (1997)

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

Editorial Board

Журнал:
Theoretical Computer Science
Рік:
1997
Файл:
PDF, 269 KB
1997