@article{Milius-Moss/06,
AUTHOR = {Milius, Stefan and Moss, Lawrence S.},
TITLE = {The category theoretic solution of recursive program schemes},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {366},
NUMBER = {1-2},
PAGES = {3-59},
YEAR = {2006},
EDITOR = {Ausiello, G. and Sannella, D.},
KEYWORDS = {recursive program scheme, elgot algebra, coalgebra, completely iterative monad, algebraic trees, second-order substitution},
URL = {http://www.sciencedirect.com/science/article/B6V1G-4KFMCJW-2/2/f5a284d88f796c8762011fff294aefa9},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-Boston-Jena-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
NOTE = {see Erratum in Theor.~Comput.~Sci., Vol. 403, 2008, No. 2-3, 409-415},
}
@article{Aceto-Fokkink-Ingolfsdottir-Nain/06,
AUTHOR = {Aceto, Luca and Fokkink, Wan and Ingolfsdottir, Anna and Nain, Sumit},
TITLE = {Bisimilarity is not finitely based over BPA with interrupt},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {366},
NUMBER = {1-2},
PAGES = {60-81},
YEAR = {2006},
EDITOR = {Ausiello, G. and Sannella, D.},
KEYWORDS = {concurrency, process algebra, basic process algebra (bpa), interrupt, disrupt, bisimulation, equational logic, complete axiomatizations, non-finitely based algebras, expressiveness},
URL = {http://www.sciencedirect.com/science/article/B6V1G-4KV2YD9-1/2/df2b9386f5411d42b5960cbfe3692a7e},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-Boston-Jena-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Adamek/06,
AUTHOR = {Ad{\'a}mek, J.},
TITLE = {The intersection of algebra and coalgebra},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {366},
NUMBER = {1-2},
PAGES = {82-97},
YEAR = {2006},
EDITOR = {Ausiello, G. and Sannella, D.},
KEYWORDS = {variety, covariety, presheaf category},
URL = {http://www.sciencedirect.com/science/article/B6V1G-4KFMCJW-4/2/269c05cac45b2018961bf7d1be15757c},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-Boston-Jena-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Bruni-Lanese-Montanari/06,
AUTHOR = {Bruni, Roberto and Lanese, Ivan and Montanari, Ugo},
TITLE = {A basic algebra of stateless connectors},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {366},
NUMBER = {1-2},
PAGES = {98-120},
YEAR = {2006},
EDITOR = {Ausiello, G. and Sannella, D.},
KEYWORDS = {connectors, synchronization, axiomatization, normal form},
URL = {http://www.sciencedirect.com/science/article/B6V1G-4KFMCJW-5/2/d41efd32b5adc7ad38f1b752d933946e},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-Boston-Jena-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Hausmann-Mossakowski-Schroder/06,
AUTHOR = {Hausmann, Daniel and Mossakowski, Till and Schr{\"o}der, Lutz},
TITLE = {A coalgebraic approach to the semantics of the ambient calculus},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {366},
NUMBER = {1-2},
PAGES = {121-143},
YEAR = {2006},
EDITOR = {Ausiello, G. and Sannella, D.},
KEYWORDS = {process algebra, ambient calculus, coalgebra, cocasl},
URL = {http://www.sciencedirect.com/science/article/B6V1G-4KFMCJW-6/2/d38c5f1b9b90c63163c958264b38089e},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-Boston-Jena-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Hyland-Power/06,
AUTHOR = {Hyland, Martin and Power, John},
TITLE = {Discrete Lawvere theories and computational effects},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {366},
NUMBER = {1-2},
PAGES = {144-162},
YEAR = {2006},
EDITOR = {Ausiello, G. and Sannella, D.},
KEYWORDS = {countable lawvere v-theory, discrete countable lawvere v-theory, model, sum, tensor, distributive tensor, image},
URL = {http://www.sciencedirect.com/science/article/B6V1G-4KFMCJW-7/2/d70e0a336c1f79957cbd705b0486daf9},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-Boston-Jena-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Thati-Meseguer/06,
AUTHOR = {Thati, Prasanna and Meseguer, Jos{\'e}},
TITLE = {Complete symbolic reachability analysis using back-and-forth narrowing},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {366},
NUMBER = {1-2},
PAGES = {163-179},
YEAR = {2006},
EDITOR = {Ausiello, G. and Sannella, D.},
KEYWORDS = {narrowing, soundness, completeness, rewrite systems, reachability},
URL = {http://www.sciencedirect.com/science/article/B6V1G-4KFMCJW-3/2/e180c43dd1e8850bbf130be068548373},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-Boston-Jena-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Domaratzki-Salomaa/06a,
AUTHOR = {Domaratzki, Michael and Salomaa, Kai},
TITLE = {Codes defined by multiple sets of trajectories},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {366},
NUMBER = {3},
PAGES = {182-193},
YEAR = {2006},
EDITOR = {Ausiello, G. and Sannella, D.},
KEYWORDS = {shuffle on trajectories, deletion along trajectories, theory of codes},
URL = {http://www.sciencedirect.com/science/article/B6V1G-4KSVCD7-7/2/4ee38088ce3866af3897d0323e7638e1},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-Boston-Jena-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Domosi-Horvath/06,
AUTHOR = {D{\"o}m{\"o}si, P{\'a}l and Horv{\'a}th, G{\'e}za},
TITLE = {Alternative proof of the Lyndon-Sch{\"u}tzenberger theorem},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {366},
NUMBER = {3},
PAGES = {194-198},
YEAR = {2006},
EDITOR = {Ausiello, G. and Sannella, D.},
KEYWORDS = {combinatorics of words},
URL = {http://www.sciencedirect.com/science/article/B6V1G-4KSVCD7-8/2/b6cbf298a1394d646ef145e4aa616f9e},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-Boston-Jena-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Droste-Kuske/06,
AUTHOR = {Droste, Manfred and Kuske, Dietrich},
TITLE = {Skew and infinitary formal power series},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {366},
NUMBER = {3},
PAGES = {199-227},
YEAR = {2006},
EDITOR = {Ausiello, G. and Sannella, D.},
KEYWORDS = {weighted buchi-automata, discounting, rational formal power series, infinite words},
URL = {http://www.sciencedirect.com/science/article/B6V1G-4KSVCD7-9/2/db09ddb6c729eff285c74a0dfe495238},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-Boston-Jena-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Droste-Vogler/06,
AUTHOR = {Droste, Manfred and Vogler, Heiko},
TITLE = {Weighted tree automata and weighted logics},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {366},
NUMBER = {3},
PAGES = {228-247},
YEAR = {2006},
EDITOR = {Ausiello, G. and Sannella, D.},
KEYWORDS = {weighted automata, tree automata, mso-logics, formal power series},
URL = {http://www.sciencedirect.com/science/article/B6V1G-4KSVCD7-3/2/f0f0cedcc995bdeae14b40402302b57f},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-Boston-Jena-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Maletti/06,
AUTHOR = {Maletti, Andreas},
TITLE = {Compositions of tree series transformations},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {366},
NUMBER = {3},
PAGES = {248-271},
YEAR = {2006},
EDITOR = {Ausiello, G. and Sannella, D.},
KEYWORDS = {tree series transformation, semiring, composition, tree transducer},
URL = {http://www.sciencedirect.com/science/article/B6V1G-4KT6GW2-4/2/d3ef72a887e541869117aadf49ef5926},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-Boston-Jena-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Mraz-Otto-Platek-Jurdzinski/06,
AUTHOR = {Mr{\'a}z, F. and Otto, F. and Pl{\'a}tek, M. and Jurdzi{\'n}ski, T.},
TITLE = {Marcus $t$-contextual grammars and cut hierarchies and monotonicity for restarting automata},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {366},
NUMBER = {3},
PAGES = {272-296},
YEAR = {2006},
EDITOR = {Ausiello, G. and Sannella, D.},
KEYWORDS = {contextual grammar, restarting automaton, cut-index, monotonicity},
URL = {http://www.sciencedirect.com/science/article/B6V1G-4KT6GW2-5/2/5354fa3cccee40e1da2b29402711a03c},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-Boston-Jena-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Truthe/06,
AUTHOR = {Truthe, Bianca},
TITLE = {The finiteness of synchronous, tabled picture languages is decidable},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {366},
NUMBER = {3},
PAGES = {297-315},
YEAR = {2006},
EDITOR = {Ausiello, G. and Sannella, D.},
KEYWORDS = {chain code picture systems, lindenmayer systems, finiteness, decidability},
URL = {http://www.sciencedirect.com/science/article/B6V1G-4KT6GW2-3/2/11c7107e84dfb559716265ecf5aae91e},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-Boston-Jena-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}