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=Inf.~Comput. AND Volume=217
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
The isomorphism problem for
k
-trees is complete for logspace
V. Arvind
,
Bireswar Das
,
Johannes Köbler
,
Sebastian Kuhnert
Information and Computation
217
, 2012, pp. 1-11
Deciding regularity of hairpin completions of regular languages in polynomial time
Volker Diekert
,
Steffen Kopecki
,
Victor Mitrana
Information and Computation
217
, 2012, pp. 12-30
Functorial data migration
David I. Spivak
Information and Computation
217
, 2012, pp. 31-51
Fundamentals of session types
Vasco T. Vasconcelos
Information and Computation
217
, 2012, pp. 52-70
Restricted space algorithms for isomorphism on bounded treewidth graphs
Bireswar Das
,
Jacobo Torán
,
Fabian Wagner
Information and Computation
217
, 2012, pp. 71-83