Volume 33; Issue 2-3

Theoretical Computer Science

Volume 33; Issue 2-3
1

A systematic study of models of abstract data types

M. Broy, M. Wirsing, C. Pair
Journal:
Theoretical Computer Science
Year:
1984
Language:
english
File:
PDF, 3.60 MB
english, 1984
2

Conditional rewrite rules

Stéphane Kaplan
Journal:
Theoretical Computer Science
Year:
1984
Language:
english
File:
PDF, 1.64 MB
english, 1984
3

Expressive power of typed and type-free programming languages

Elfriede Fehr
Journal:
Theoretical Computer Science
Year:
1984
Language:
english
File:
PDF, 3.51 MB
english, 1984
5

Some undecidability results for non-monadic Church-Rosser Thue systems

Friedrich Otto
Journal:
Theoretical Computer Science
Year:
1984
Language:
english
File:
PDF, 1.97 MB
english, 1984
10

Author index volume 33 (1984)

Journal:
Theoretical Computer Science
Year:
1984
Language:
english
File:
PDF, 89 KB
english, 1984
11

Denotational semantics of CSP

N. Soundararajan
Journal:
Theoretical Computer Science
Year:
1984
Language:
english
File:
PDF, 2.32 MB
english, 1984
12

The equations h(w)=wn in binary alphabets

Tero Harju, Matti Linna
Journal:
Theoretical Computer Science
Year:
1984
Language:
english
File:
PDF, 267 KB
english, 1984