Volume 176; Issue 1-2

Theoretical Computer Science

Volume 176; Issue 1-2
1

A symbolic reachability graph for coloured petri nets

G. Chiola, C. Dutheillet, G. Franceschinis, S. Haddad
Journal:
Theoretical Computer Science
Year:
1997
Language:
english
File:
PDF, 1.78 MB
english, 1997
2

The first-order theory of lexicographic path orderings is undecidable

Hubert Comon, Ralf Treinen
Journal:
Theoretical Computer Science
Year:
1997
Language:
english
File:
PDF, 1.30 MB
english, 1997
3

Limiting semantics of numerical programs

D.N Hoover
Journal:
Theoretical Computer Science
Year:
1997
Language:
english
File:
PDF, 1.44 MB
english, 1997
4

Unification of infinite sets of terms schematized by primal grammars

Miki Hermann, Roman Galbavý
Journal:
Theoretical Computer Science
Year:
1997
Language:
english
File:
PDF, 3.57 MB
english, 1997
5

Experiments in linear natural deduction

Simone Martini, Andrea Masini
Journal:
Theoretical Computer Science
Year:
1997
Language:
english
File:
PDF, 853 KB
english, 1997
6

Monadic logic programs and functional complexity

Armando B. Matos
Journal:
Theoretical Computer Science
Year:
1997
Language:
english
File:
PDF, 1.54 MB
english, 1997
7

Semantics for finite delay

Chrysafis Hartonas
Journal:
Theoretical Computer Science
Year:
1997
Language:
english
File:
PDF, 1.92 MB
english, 1997
8

Higher-order subtyping

Benjamin Pierce, Martin Steffen
Journal:
Theoretical Computer Science
Year:
1997
Language:
english
File:
PDF, 2.75 MB
english, 1997
9

Representing inductively defined sets by wellorderings in Martin-Löf's type theory

Peter Dybjer
Journal:
Theoretical Computer Science
Year:
1997
Language:
english
File:
PDF, 347 KB
english, 1997
10

Bounded fixpoints for complex objects

Dan Suciu
Journal:
Theoretical Computer Science
Year:
1997
Language:
english
File:
PDF, 3.43 MB
english, 1997
11

Composition and behaviors of probabilistic I/O automata

Sue-hwey Wu, Scott A. Smolka, Eugene W. Stark
Journal:
Theoretical Computer Science
Year:
1997
Language:
english
File:
PDF, 2.46 MB
english, 1997
12

Unifying overloading and λ-abstraction: λ{}

Giuseppe Castagna
Journal:
Theoretical Computer Science
Year:
1997
Language:
english
File:
PDF, 571 KB
english, 1997
13

Minimality of the system of seven equations for the category of finite sets

A. Massol
Journal:
Theoretical Computer Science
Year:
1997
Language:
english
File:
PDF, 405 KB
english, 1997
14

Author index volume 176 (1997)

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

Editorial Board

Journal:
Theoretical Computer Science
Year:
1997
File:
PDF, 270 KB
1997