Volume 35; Issue none

Theoretical Computer Science

Volume 35; Issue none
1

Editorial Board

Journal:
Theoretical Computer Science
Year:
1985
Language:
english
File:
PDF, 106 KB
english, 1985
2

Recurrent words and simultaneous growth in T0L systems

K.-J. Lange, E. Welzl
Journal:
Theoretical Computer Science
Year:
1985
Language:
english
File:
PDF, 1.06 MB
english, 1985
3

Characterizations of some classes of regular events

Jacques Stern
Journal:
Theoretical Computer Science
Year:
1985
Language:
english
File:
PDF, 1.26 MB
english, 1985
4

A logical characterization of observation equivalence

Stephen L. Bloom, Douglas R. Troeger
Journal:
Theoretical Computer Science
Year:
1985
Language:
english
File:
PDF, 643 KB
english, 1985
5

Finding transversals for sets of simple geometric figures

Herbert Edelsbrunner
Journal:
Theoretical Computer Science
Year:
1985
Language:
english
File:
PDF, 888 KB
english, 1985
8

Automates boustrophédon et mots infinis

Jean-Pierre Pécuchet
Journal:
Theoretical Computer Science
Year:
1985
File:
PDF, 379 KB
1985
9

Announcements

Journal:
Theoretical Computer Science
Year:
1985
Language:
english
File:
PDF, 278 KB
english, 1985
10

A superposition oriented theorem prover

Laurent Fribourg
Journal:
Theoretical Computer Science
Year:
1985
Language:
english
File:
PDF, 2.09 MB
english, 1985
11

Recognizable subsets of some partially abelian monoids

Robert Cori, Yves Métivier
Journal:
Theoretical Computer Science
Year:
1985
Language:
english
File:
PDF, 642 KB
english, 1985
12

An introduction to FIFO nets— monogeneous nets: A subclass of FIFO nets

G. Memmi, A. Finkel
Journal:
Theoretical Computer Science
Year:
1985
Language:
english
File:
PDF, 1.12 MB
english, 1985
13

On proving time constructibility of functions

Kojiro Kobayashi
Journal:
Theoretical Computer Science
Year:
1985
Language:
english
File:
PDF, 632 KB
english, 1985
14

Complexity results on the conjugacy problem for monoids

Paliath Narendran, Friedrich Otto
Journal:
Theoretical Computer Science
Year:
1985
Language:
english
File:
PDF, 1.12 MB
english, 1985
15

Complete divisibility problems for slowly utilized oracles

David A. Plaisted
Journal:
Theoretical Computer Science
Year:
1985
Language:
english
File:
PDF, 1.10 MB
english, 1985
16

A homomorphic characterization of recursively enumerable languages

Sadaki Hirose, Satoshi Okawa, Masaaki Yoneda
Journal:
Theoretical Computer Science
Year:
1985
Language:
english
File:
PDF, 376 KB
english, 1985
18

Code properties and homomorphisms of D0L systems

Tom Head, John Wilkinson
Journal:
Theoretical Computer Science
Year:
1985
Language:
english
File:
PDF, 1.20 MB
english, 1985
19

On classes of tractable unrestricted regular expressions

Ernst Leiss
Journal:
Theoretical Computer Science
Year:
1985
Language:
english
File:
PDF, 966 KB
english, 1985
20

On the data type extension problem for algebraic specifications

Michio Oyamaguchi
Journal:
Theoretical Computer Science
Year:
1985
Language:
english
File:
PDF, 500 KB
english, 1985
22

A simple proof for the completeness of Floyd's method

I. Sain
Journal:
Theoretical Computer Science
Year:
1985
Language:
english
File:
PDF, 181 KB
english, 1985
23

Author index volume 35 (1985)

Journal:
Theoretical Computer Science
Year:
1985
Language:
english
File:
PDF, 67 KB
english, 1985
24

Axiomatisation des tests

Christophe Benoit
Journal:
Theoretical Computer Science
Year:
1985
File:
PDF, 1007 KB
1985
25

On the existence of acyclic views in a database scheme

Giorgio Ausiello, Alessandro d'Atri, Marina Moscarini
Journal:
Theoretical Computer Science
Year:
1985
Language:
english
File:
PDF, 748 KB
english, 1985