Theoretical Computer Science, Volume 366

Volume 366, Numbers 1-2, November 2006

Algebra and Coalgebra in Computer Science

Fundamental study

Stefan Milius, Lawrence S. Moss:
The category-theoretic solution of recursive program schemes. 3-59
Electronic Edition (link) BibTeX

Contributions

Luca Aceto, Wan Fokkink, Anna Ingólfsdóttir, Sumit Nain:
Bisimilarity is not finitely based over BPA with interrupt. 60-81
Electronic Edition (link) BibTeX
Jirí Adámek:
The intersection of algebra and coalgebra. 82-97
Electronic Edition (link) BibTeX
Roberto Bruni, Ivan Lanese, Ugo Montanari:
A basic algebra of stateless connectors. 98-120
Electronic Edition (link) BibTeX
Daniel Hausmann, Till Mossakowski, Lutz Schröder:
A coalgebraic approach to the semantics of the ambient calculus. 121-143
Electronic Edition (link) BibTeX
Martin Hyland, John Power:
Discrete Lawvere theories and computational effects. 144-162
Electronic Edition (link) BibTeX
Prasanna Thati, José Meseguer:
Complete symbolic reachability analysis using back-and-forth narrowing. 163-179
Electronic Edition (link) BibTeX

Automata and Formal Languages Preface

Contributions

Michael Domaratzki, Kai Salomaa:
Codes defined by multiple sets of trajectories. 182-193
Electronic Edition (link) BibTeX
Pál Dömösi, Géza Horváth:
Alternative proof of the Lyndon-Schützenberger Theorem. 194-198
Electronic Edition (link) BibTeX
Manfred Droste, Dietrich Kuske:
Skew and infinitary formal power series. 199-227
Electronic Edition (link) BibTeX
Manfred Droste, Heiko Vogler:
Weighted tree automata and weighted logics. 228-247
Electronic Edition (link) BibTeX
Andreas Maletti:
Compositions of tree series transformations. 248-271
Electronic Edition (link) BibTeX
Frantisek Mráz, Friedrich Otto, Martin Plátek, Tomasz Jurdzinski:
Marcus t-contextual grammars and cut hierarchies and monotonicity for restarting automata. 272-296
Electronic Edition (link) BibTeX
Bianca Truthe:
The finiteness of synchronous, tabled picture languages is decidable. 297-315
Electronic Edition (link) BibTeX