Fakultät für Informatik
-
Technische Universität München
Lehrstuhl für Effiziente Algorithmen
Die bibliographische Datenbank LEABib
Suchen
•
Liste der Journale
•
Liste der Serien
•
Liste der Konferenzen
•
Ausgewählte Publikationen
Hilfe
Suche: Journal=Theor.~Comput.~Sci. AND Volume=60
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
Theory of traces
I.J. Aalbersberg
,
G. Rozenberg
Theoretical Computer Science
60
(1), 1988, March, pp. 1-82
Some relationships between logics of programs and complexity theory
J. Tiuryn
,
P. Urzyczyn
Theoretical Computer Science
60
(1), 1988, March, pp. 83-108
Designing equivalent semantic models for process creation
Pierre America
,
Jaco de Bakker
Theoretical Computer Science
60
, 1988, pp. 109-176
The laws of Occam programming
A.W. Roscoe
,
C.A.R. Hoare
Theoretical Computer Science
60
, 1988, pp. 177-229
Matching patterns in strings subject to multi-linear transformations
Tali Eilam-Tzoreff
,
Uzi Vishkin
Theoretical Computer Science
60
, 1988, pp. 231-254
Génération d'une section des classes de conjugaison et arbre des mots de Lyndon de longueur bornée
Jean-Pierre Duval
Theoretical Computer Science
60
, 1988, pp. 255-283
On synchronizing unambiguous automata
Arturo Carpi
Theoretical Computer Science
60
, 1988, pp. 285-296
Towards a computation system based on set theory
Micheal J. Beeson
Theoretical Computer Science
60
, 1988, pp. 297-340
La reconnaissance des facteurs d'un langage fini dans un texte en temps linéaire
Jean-Claude Spehner
Theoretical Computer Science
60
, 1988, pp. 341-381