default search action

combined dblp search
author search
venue search
publication search

ask others

Theoretical Computer Science, Volume 366

> Home > Journals > Theoretical Computer Science

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

Volume 366, Numbers 1-2, November 2006

Algebra and Coalgebra in Computer Science

- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/FiadeiroR06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/FiadeiroR06
José Luiz Fiadeiro, Jan J. M. M. Rutten:
Preface. 1-2

Fundamental study

- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/MiliusM06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/MiliusM06
Stefan Milius, Lawrence S. Moss:
The category-theoretic solution of recursive program schemes. 3-59

Contributions

- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/AcetoFIN06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/AcetoFIN06
Luca Aceto, Wan J. Fokkink, Anna Ingólfsdóttir, Sumit Nain:
Bisimilarity is not finitely based over BPA with interrupt. 60-81
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/Adamek06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/Adamek06
Jirí Adámek:
The intersection of algebra and coalgebra. 82-97
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/BruniLM06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/BruniLM06
Roberto Bruni, Ivan Lanese, Ugo Montanari:
A basic algebra of stateless connectors. 98-120
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/HausmannMS06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/HausmannMS06
Daniel Hausmann, Till Mossakowski, Lutz Schröder:
A coalgebraic approach to the semantics of the ambient calculus. 121-143
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/HylandP06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/HylandP06
Martin Hyland, John Power:
Discrete Lawvere theories and computational effects. 144-162
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/ThatiM06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/ThatiM06
Prasanna Thati, José Meseguer:
Complete symbolic reachability analysis using back-and-forth narrowing. 163-179

Volume 366, Number 3, November 2006

Automata and Formal Languages Preface

- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/Esik06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/Esik06
Zoltán Ésik:
Preface. 181

Contributions

- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/DomaratzkiS06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/DomaratzkiS06
Michael Domaratzki, Kai Salomaa:
Codes defined by multiple sets of trajectories. 182-193
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/DomosiH06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/DomosiH06
Pál Dömösi, Géza Horváth:
Alternative proof of the Lyndon-Schützenberger Theorem. 194-198
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/DrosteK06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/DrosteK06
Manfred Droste, Dietrich Kuske:
Skew and infinitary formal power series. 199-227
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/DrosteV06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/DrosteV06
Manfred Droste, Heiko Vogler:
Weighted tree automata and weighted logics. 228-247
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/Maletti06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/Maletti06
Andreas Maletti:
Compositions of tree series transformations. 248-271
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/MrazOPJ06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/MrazOPJ06
Frantisek Mráz, Friedrich Otto, Martin Plátek, Tomasz Jurdzinski:
Marcus t-contextual grammars and cut hierarchies and monotonicity for restarting automata. 272-296
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/Truthe06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/Truthe06
Bianca Truthe:
The finiteness of synchronous, tabled picture languages is decidable. 297-315

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.