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=109
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
The ESPRIT basic research working group COMPUGRAPH ``Computing by Graph Transformation'': a survey
H. Ehrig
,
M. Löwe
Theoretical Computer Science
109
(1-2), 1993, pp. 3-6
Hyperedge replacement jungle rewriting for term-rewriting systems and logic programming
Andrea Corradini
,
Francesca Rossi
Theoretical Computer Science
109
(1-2), 1993, pp. 7-48
Monadic second-order evaluations on tree-decomposable graphs
B. Courcelle
,
M. Mosbah
Theoretical Computer Science
109
(1-2), 1993, pp. 49-82
Recognising
k
-connected hypergraphs in cubic time
Frank Drewes
Theoretical Computer Science
109
(1-2), 1993, pp. 83-122
Parallel and distributed derivations in the single-pushout approach
H. Ehrig
,
M. Löwe
Theoretical Computer Science
109
(1-2), 1993, pp. 123-143
Equivalence of computations in actor grammars
D. Janssens
Theoretical Computer Science
109
(1-2), 1993, pp. 145-180
Algebraic approach to single-pushout graph transformation
Michael Löwe
Theoretical Computer Science
109
(1-2), 1993, pp. 181-224
Graph rewriting for a partial ordering semantics of concurrent constraint programming
Ugo Montanari
,
Francesca Rossi
Theoretical Computer Science
109
(1-2), 1993, pp. 225-256
On categorical graph grammars integrating structural transformations and operations on labels
H.J. Schneider
Theoretical Computer Science
109
(1-2), 1993, pp. 257-274