Volume 39; Issue none

Theoretical Computer Science

Volume 39; Issue none
1

Optimal fixedpoints of logic programs

J.-L. Lassez, M.J. Maher
Journal:
Theoretical Computer Science
Year:
1985
Language:
english
File:
PDF, 683 KB
english, 1985
2

A proof-theoretic characterization of observational equivalence

Colin Stirling
Journal:
Theoretical Computer Science
Year:
1985
Language:
english
File:
PDF, 932 KB
english, 1985
3

Solving systems of linear equations over polynomials

R. Kannan
Journal:
Theoretical Computer Science
Year:
1985
Language:
english
File:
PDF, 1.20 MB
english, 1985
4

On efficient recognition of transductions and relations

Oscar H. Ibarra, Michael A. Palis, Jik H. Chang
Journal:
Theoretical Computer Science
Year:
1985
Language:
english
File:
PDF, 1.03 MB
english, 1985
5

On a fast decomposition method in some models of concurrent computations

Lutz Priese
Journal:
Theoretical Computer Science
Year:
1985
Language:
english
File:
PDF, 792 KB
english, 1985
6

Automatic synthesis of typed Λ-programs on term algebras

Corrado Böhm, Alessandro Berarducci
Journal:
Theoretical Computer Science
Year:
1985
Language:
english
File:
PDF, 1.04 MB
english, 1985
7

Systèmes entiers d'équations sur un alphabet fini et conjecture d'ehrenfeucht

Jean-Claude Spehner
Journal:
Theoretical Computer Science
Year:
1985
Language:
english
File:
PDF, 985 KB
english, 1985
8

Some remarks on witness functions for nonpolynomial and noncomplete sets in NP

Deborah Joseph, Paul Young
Journal:
Theoretical Computer Science
Year:
1985
Language:
english
File:
PDF, 828 KB
english, 1985
9

Two-way automata with more than one storage medium

Jörg Vogel, Klaus Wagner
Journal:
Theoretical Computer Science
Year:
1985
Language:
english
File:
PDF, 811 KB
english, 1985
10

The intractability of resolution

Armin Haken
Journal:
Theoretical Computer Science
Year:
1985
Language:
english
File:
PDF, 686 KB
english, 1985
11

On completing tables to satisfy functional dependencies

Seymour Ginsburg, Edwin H. Spanier
Journal:
Theoretical Computer Science
Year:
1985
Language:
english
File:
PDF, 488 KB
english, 1985
12

On solving star equations

Ernst L. Leiss
Journal:
Theoretical Computer Science
Year:
1985
Language:
english
File:
PDF, 362 KB
english, 1985
13

A syntactic congruence for rational ω-languages

André Arnold
Journal:
Theoretical Computer Science
Year:
1985
Language:
english
File:
PDF, 179 KB
english, 1985
15

Corrigendum

Journal:
Theoretical Computer Science
Year:
1985
File:
PDF, 23 KB
1985
16

Announcements

Journal:
Theoretical Computer Science
Year:
1985
Language:
english
File:
PDF, 137 KB
english, 1985
17

Author index volume 39 (1985)

Journal:
Theoretical Computer Science
Year:
1985
Language:
english
File:
PDF, 80 KB
english, 1985
18

Editorial Board

Journal:
Theoretical Computer Science
Year:
1985
Language:
english
File:
PDF, 108 KB
english, 1985
19

Foreword

R.K. Shyamasundar, M. Joseph
Journal:
Theoretical Computer Science
Year:
1985
Language:
english
File:
PDF, 40 KB
english, 1985
20

Context-free grammars with cancellation properties

Christiane Frougny
Journal:
Theoretical Computer Science
Year:
1985
Language:
english
File:
PDF, 605 KB
english, 1985
21

On the suitability of trace semantics for modular proofs of communicating processes

R.J.R. Back, H. Mannila
Journal:
Theoretical Computer Science
Year:
1985
Language:
english
File:
PDF, 1.28 MB
english, 1985
22

The Church-Rosser property and special Thue systems

D. Kapur, P. Narendran, M.S. Krishnamoorthy, R. McNaughton
Journal:
Theoretical Computer Science
Year:
1985
Language:
english
File:
PDF, 615 KB
english, 1985
23

A logical approach of Petri net languages

Michel Parigot, Elisabeth Pelz
Journal:
Theoretical Computer Science
Year:
1985
Language:
english
File:
PDF, 775 KB
english, 1985
24

Some questions about expressiveness and relative completeness in Hoare's logic

Mario Rodriguez Artalejo
Journal:
Theoretical Computer Science
Year:
1985
Language:
english
File:
PDF, 996 KB
english, 1985
25

Reductions among polynomial isomorphism types

Stephen R. Mahaney, Paul Young
Journal:
Theoretical Computer Science
Year:
1985
Language:
english
File:
PDF, 1.15 MB
english, 1985
26

Non-finite specifiability of projections of functional dependency families

Richard Hull
Journal:
Theoretical Computer Science
Year:
1985
Language:
english
File:
PDF, 1.75 MB
english, 1985
27

On infinite words obtained by selective substitution grammars

Rani Siromoney, V.Rajkumar Dare
Journal:
Theoretical Computer Science
Year:
1985
Language:
english
File:
PDF, 702 KB
english, 1985
28

On the security of name-stamp protocols

Ronald V. Book, Freidrich Otto
Journal:
Theoretical Computer Science
Year:
1985
Language:
english
File:
PDF, 406 KB
english, 1985