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=91
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
Efficient algorithms for the minimum weighted dominating clique problem on permutation graphs
A. Srinivasan
,
C. Pandu Rangan
Theoretical Computer Science
91
, 1991, pp. 1-21
Using powerdomains to generalize relational databases
Peter Buneman
,
Achim Jung
,
Atsushi Ohori
Theoretical Computer Science
91
, 1991, pp. 23-55
An efficient solution of the firing mob problem
Karel Culik II
,
Simant Dube
Theoretical Computer Science
91
, 1991, pp. 57-69
Opérations polynomiales et hiérarchies de concaténation
Mustapha Arfi
Theoretical Computer Science
91
, 1991, pp. 71-84
Algorithms for determining relative inclusion star height and inclusion star height
Kosaburo Hashiguchi
Theoretical Computer Science
91
, 1991, pp. 85-100
On complete sets of samples for generalized regular expressions
E.B. Kinber
Theoretical Computer Science
91
, 1991, pp. 101-117
Sums of games born on days 2 and 3
David Moews
Theoretical Computer Science
91
, 1991, pp. 119-128
An extensional fixed-point semantics for nondeterministic data flow
Peter Kearney
,
John Staples
Theoretical Computer Science
91
, 1991, pp. 129-179
On models for propositional dynamic logic
P.M.W. Knijnenburg
,
J. (van Leeuwen}
Theoretical Computer Science
91
, 1991, pp. 181-203
Executions: a new partial-order semantics of Petri nets
Walter Vogler
Theoretical Computer Science
91
, 1991, pp. 205-238
Some fundamental algebraic tools for the semantics of computation: Part 3. Indexed categories
Andrzej Tarlecki
,
Rod M. Burstall
,
Joseph A. Goguen
Theoretical Computer Science
91
, 1991, pp. 239-264
Cut elimination and automatic proof procedures
Wenhui Zhang
Theoretical Computer Science
91
, 1991, pp. 265-284
Event structures and trace monoids
Brigitte Rozoy
,
P.S. Thiagarajan
Theoretical Computer Science
91
, 1991, pp. 285-313