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=484
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
Compatibility in a multi-component environment
Josep Carmona
,
Jetty Kleijn
Theoretical Computer Science
484
, 2013, pp. 1-15
Inferring complete initialization of arrays
Durica Nikolić
,
Fausto Spoto
Theoretical Computer Science
484
, 2013, pp. 16-40
Graphs of plural cuts
Kosta Dos̑en
,
Zoran Petrić
Theoretical Computer Science
484
, 2013, pp. 41-55
Using bigraphs to model topological graphs embedded in orientable surfaces
M.F. Worboys
Theoretical Computer Science
484
, 2013, pp. 56-69
Information flow in systems with schedulers, Part II: Refinement
Ron van der Meyden
,
Chenyi Zhang
Theoretical Computer Science
484
, 2013, pp. 70-92