Volume 311; Issue 1-3

Theoretical Computer Science

Volume 311; Issue 1-3
1

ER modelling from first relational principles

Ernst-Erich Doberkat, Eugenio G. Omodeo
Journal:
Theoretical Computer Science
Year:
2004
Language:
english
File:
PDF, 397 KB
english, 2004
3

Interpolation in Grothendieck Institutions

Răzvan Diaconescu
Journal:
Theoretical Computer Science
Year:
2004
Language:
english
File:
PDF, 357 KB
english, 2004
7

Confluence of the coinductive λ-calculus

Felix Joachimski
Journal:
Theoretical Computer Science
Year:
2004
Language:
english
File:
PDF, 246 KB
english, 2004
8

A generic type system for the Pi-calculus

Atsushi Igarashi, Naoki Kobayashi
Journal:
Theoretical Computer Science
Year:
2004
Language:
english
File:
PDF, 468 KB
english, 2004
9

On liveness and boundedness of asymmetric choice nets

Li Jiao, To-Yat Cheung, Weiming Lu
Journal:
Theoretical Computer Science
Year:
2004
Language:
english
File:
PDF, 444 KB
english, 2004
10

Limiting partial combinatory algebras

Yohji Akama
Journal:
Theoretical Computer Science
Year:
2004
Language:
english
File:
PDF, 321 KB
english, 2004
11

An efficient algorithm for computing bisimulation equivalence

Agostino Dovier, Carla Piazza, Alberto Policriti
Journal:
Theoretical Computer Science
Year:
2004
Language:
english
File:
PDF, 613 KB
english, 2004
12

On tree coalgebras and coalgebra presentations

J. Adámek, H.-E. Porst
Journal:
Theoretical Computer Science
Year:
2004
Language:
english
File:
PDF, 348 KB
english, 2004
13

Editorial board v-x

Journal:
Theoretical Computer Science
Year:
2004
Language:
english
File:
PDF, 113 KB
english, 2004
14

Precise interprocedural dependence analysis of parallel programs

Markus Müller-Olm
Journal:
Theoretical Computer Science
Year:
2004
Language:
english
File:
PDF, 630 KB
english, 2004
16

Principality and type inference for intersection types using expansion variables

A.J. Kfoury, J.B. Wells
Journal:
Theoretical Computer Science
Year:
2004
Language:
english
File:
PDF, 708 KB
english, 2004
17

Author index

Journal:
Theoretical Computer Science
Year:
2004
Language:
english
File:
PDF, 125 KB
english, 2004