Volume 58; Issue 1-3

Theoretical Computer Science

Volume 58; Issue 1-3
1

Editorial

Laurent Kott
Journal:
Theoretical Computer Science
Year:
1988
File:
PDF, 26 KB
1988
4

Counting with rational functions

C. Choffrut, M.P. Schutzenberger
Journal:
Theoretical Computer Science
Year:
1988
Language:
english
File:
PDF, 1.19 MB
english, 1988
5

Complexity classes without machines: On complete languages for UP

Juris Hartmanis, Lane A. Hemachandra
Journal:
Theoretical Computer Science
Year:
1988
Language:
english
File:
PDF, 1012 KB
english, 1988
6

Further results on digital search trees

Peter Kirschenhofer, Helmut Prodinger
Journal:
Theoretical Computer Science
Year:
1988
Language:
english
File:
PDF, 460 KB
english, 1988
7

Knowledge, belief and time

Sarit Kraus, Daniel Lehmann
Journal:
Theoretical Computer Science
Year:
1988
Language:
english
File:
PDF, 1.19 MB
english, 1988
8

Decompositions of nondeterministic reductions

Klaus-Jörn Lange
Journal:
Theoretical Computer Science
Year:
1988
Language:
english
File:
PDF, 429 KB
english, 1988
9

Synthesis and equivalence of concurrent systems

Björn Lisper
Journal:
Theoretical Computer Science
Year:
1988
Language:
english
File:
PDF, 1.16 MB
english, 1988
10

On recognizable subsets of free partially commutative monoids

Y. Metivier
Journal:
Theoretical Computer Science
Year:
1988
Language:
english
File:
PDF, 485 KB
english, 1988
11

Min cut is NP-complete for edge weighted trees

B. Monien, I.H. Sudborough
Journal:
Theoretical Computer Science
Year:
1988
Language:
english
File:
PDF, 1.33 MB
english, 1988
13

A timed model for communicating sequential processes

G.M. Reed, A.W. Roscoe
Journal:
Theoretical Computer Science
Year:
1988
Language:
english
File:
PDF, 844 KB
english, 1988
15

A generalization of Owicki-Gries's Hoare logic for a concurrent while language

Colin Stirling
Journal:
Theoretical Computer Science
Year:
1988
Language:
english
File:
PDF, 831 KB
english, 1988
16

Author index volume 58 (1988)

Journal:
Theoretical Computer Science
Year:
1988
Language:
english
File:
PDF, 70 KB
english, 1988
17

Editorial Board

Journal:
Theoretical Computer Science
Year:
1988
Language:
english
File:
PDF, 117 KB
english, 1988
19

On the intersection of stacks and queues

Franz J. Brandenburg
Journal:
Theoretical Computer Science
Year:
1988
Language:
english
File:
PDF, 831 KB
english, 1988
20

Finite biprefix sets of paths in a graph

Clelia De Felice
Journal:
Theoretical Computer Science
Year:
1988
Language:
english
File:
PDF, 1.58 MB
english, 1988
21

An improved algorithm for transitive closure on acyclic digraphs

Klaus Simon
Journal:
Theoretical Computer Science
Year:
1988
Language:
english
File:
PDF, 910 KB
english, 1988
22

Semigroups and languages of dot-depth two

Howard Straubing
Journal:
Theoretical Computer Science
Year:
1988
Language:
english
File:
PDF, 1.21 MB
english, 1988
23

An efficient parallel algorithm for updating minimum spanning trees

Peter Varman, Kshitij Doshi
Journal:
Theoretical Computer Science
Year:
1988
Language:
english
File:
PDF, 1.10 MB
english, 1988