@article{Arvind-Das-Kobler-Kuhnert/12,
AUTHOR = {Arvind, V. and Das, Bireswar and K{\"o}bler, Johannes and Kuhnert, Sebastian},
TITLE = {The isomorphism problem for $k$-trees is complete for logspace},
JOURNAL = {Inf.~Comput.},
VOLUME = {217},
PAGES = {1-11},
YEAR = {2012},
EDITOR = {Meyer, Albert R.},
KEYWORDS = {graph isomorphism, graph canonization, k-trees, space complexity, logspace completeness},
URL = {http://www.sciencedirect.com/science/article/pii/S0890540112000879},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-San Louis},
}
@article{Diekert-Kopecki-Mitrana/12,
AUTHOR = {Diekert, Volker and Kopecki, Steffen and Mitrana, Victor},
TITLE = {Deciding regularity of hairpin completions of regular languages in polynomial time},
JOURNAL = {Inf.~Comput.},
VOLUME = {217},
PAGES = {12-30},
YEAR = {2012},
EDITOR = {Meyer, Albert R.},
KEYWORDS = {hairpin completion, regular language, finite automaton, unambiguous linear language, rational growth},
URL = {http://www.sciencedirect.com/science/article/pii/S0890540112001009},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-San Louis},
}
@article{Spivak/12,
AUTHOR = {Spivak, David I.},
TITLE = {Functorial data migration},
JOURNAL = {Inf.~Comput.},
VOLUME = {217},
PAGES = {31-51},
YEAR = {2012},
EDITOR = {Meyer, Albert R.},
KEYWORDS = {category theory, databases, data migration, adjoint functors, queries},
URL = {http://www.sciencedirect.com/science/article/pii/S0890540112001010},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-San Louis},
}
@article{Vasconcelos/12,
AUTHOR = {Vasconcelos, Vasco T.},
TITLE = {Fundamentals of session types},
JOURNAL = {Inf.~Comput.},
VOLUME = {217},
PAGES = {52-70},
YEAR = {2012},
EDITOR = {Meyer, Albert R.},
URL = {http://www.sciencedirect.com/science/article/pii/S0890540112001022},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-San Louis},
}
@article{Das-Toran-Wagner/12,
AUTHOR = {Das, Bireswar and Tor{\'a}n, Jacobo and Wagner, Fabian},
TITLE = {Restricted space algorithms for isomorphism on bounded treewidth graphs},
JOURNAL = {Inf.~Comput.},
VOLUME = {217},
PAGES = {71-83},
YEAR = {2012},
EDITOR = {Meyer, Albert R.},
KEYWORDS = {complexity, algorithms, graph isomorphism problem, treewidth, logcfl},
URL = {http://www.sciencedirect.com/science/article/pii/S0890540112001034},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-San Louis},
}