Theoretical Computer Science
, Volume 5
Volume 5, Number 1, August 1977
Walter A. Burkhard
:
Non-Uniform Partial-Match File Designs.
1-23
Y. S. Kwong
:
On Reduction of Asynchronous Systems.
25-50
Laurent Chottin
:
Etude Syntaxique de Certains Langages Solutions d'Equations avec Operateurs.
51-84
Joost Engelfriet
:
Iterating Iterated Substitution.
85-100
Volume 5, Number 2, October 1977
Arnaldo Mandel
,
Imre Simon
:
On Finite Semigroups of Matrices.
101-111
Armin B. Cremers
,
Thomas N. Hibbard
:
On the Formal Definiton of Dependencies between the Control and Information Structure of a Data Space.
113-128
Michel Latteux
:
Produit dans le Cône Rationnel Engendré par
D
.
129-134
Luigia Carlucci Aiello
,
Mario Aiello
,
Richard W. Weyhrauch
:
Pascal in LCF: Semantics and Examples of Proof.
135-177
Zvi Galil
,
Nimrod Megiddo
:
Cyclic Ordering is NP-Complete.
179-182
Gérard Jacob
:
Un Algorithme Calculant le Cardinal, Fini ou Infini, des Demi-Groupes de Matrices.
183-204
M. D. Atkinson
:
The Complexity of Group Algebra Computations.
205-209
Juhani Karhumäki
:
Remarks on Commutative
N
-Rational Series.
211-217
Christophe Reutenauer
:
On a Question of S. Eilenberg.
219
Volume 5, Number 3, December 1977
Gordon D. Plotkin
:
LCF Considered as a Programming Language.
223-255
Michael B. Smyth
:
Effectively given Domains.
257-274
Calvin C. Elgot
,
Lawrence Snyder
:
On the Many Facets of Lists.
275-305
Seymour Ginsburg
,
Edwin H. Spanier
:
Pushdown Acceptor Forms.
307-320
Horst Luckhardt
:
A Fundamental Effect in Computations on Real Numbers.
321-324
Christian Choffrut
:
Une Caracterisation des Fonctions Sequentielles et des Fonctions Sous-Sequentielles en tant que Relations Rationnelles.
325-337
Grzegorz Rozenberg
,
Martti Penttonen
,
Arto Salomaa
:
Bibliography of L Systems.
339-354
Last update Sat May 25 16:54:30 2013 CET by the
DBLP Team
—
Data released under the
ODC-BY 1.0 license
— See also our
legal information page