Volume 185; Issue 2

Theoretical Computer Science

Volume 185; Issue 2
1

Preface

John Staples
Journal:
Theoretical Computer Science
Year:
1997
Language:
english
File:
PDF, 116 KB
english, 1997
2

New Curry-Howard terms for full linear logic

David Albrecht, John N. Crossley, John S. Jeavons
Journal:
Theoretical Computer Science
Year:
1997
Language:
english
File:
PDF, 1.05 MB
english, 1997
3

Covariant types

C. Barry Jay
Journal:
Theoretical Computer Science
Year:
1997
Language:
english
File:
PDF, 1.30 MB
english, 1997
5

A first order logic of effects

Ian A. Mason
Journal:
Theoretical Computer Science
Year:
1997
Language:
english
File:
PDF, 2.68 MB
english, 1997
6

Multi-dimensional logic programming: theoretical foundations

Mehmet A. Orgun, Du Weichang
Journal:
Theoretical Computer Science
Year:
1997
Language:
english
File:
PDF, 2.04 MB
english, 1997
7

Many-to-many routing on trees via matchings

Grammati E. Pantziou, Alan Roberts, Antonis Symvonis
Journal:
Theoretical Computer Science
Year:
1997
Language:
english
File:
PDF, 2.26 MB
english, 1997
8

A corrected 5NF definition for relational database design

Millist W. Vincent
Journal:
Theoretical Computer Science
Year:
1997
Language:
english
File:
PDF, 994 KB
english, 1997
9

An order-sorted resolution in theory and practice

Trudy Weibel
Journal:
Theoretical Computer Science
Year:
1997
Language:
english
File:
PDF, 1.28 MB
english, 1997
10

Author index volume 185 (1997)

Journal:
Theoretical Computer Science
Year:
1997
Language:
english
File:
PDF, 61 KB
english, 1997