Search dblp for Publications

export results for "toc:db/journals/tcs/tcs327.bht:"

 download as .bib file

@article{DBLP:journals/tcs/AnanichevV04,
  author       = {Dimitry S. Ananichev and
                  Mikhail V. Volkov},
  title        = {Synchronizing monotonic automata},
  journal      = {Theor. Comput. Sci.},
  volume       = {327},
  number       = {3},
  pages        = {225--239},
  year         = {2004},
  url          = {https://doi.org/10.1016/j.tcs.2004.03.068},
  doi          = {10.1016/J.TCS.2004.03.068},
  timestamp    = {Thu, 09 Nov 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/AnanichevV04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/BartelsSV04,
  author       = {Falk Bartels and
                  Ana Sokolova and
                  Erik P. de Vink},
  title        = {A hierarchy of probabilistic system types},
  journal      = {Theor. Comput. Sci.},
  volume       = {327},
  number       = {1-2},
  pages        = {3--22},
  year         = {2004},
  url          = {https://doi.org/10.1016/j.tcs.2004.07.019},
  doi          = {10.1016/J.TCS.2004.07.019},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/BartelsSV04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/ChamparnaudC04,
  author       = {Jean{-}Marc Champarnaud and
                  Fabien Coulon},
  title        = {{NFA} reduction algorithms by means of regular inequalities},
  journal      = {Theor. Comput. Sci.},
  volume       = {327},
  number       = {3},
  pages        = {241--253},
  year         = {2004},
  url          = {https://doi.org/10.1016/j.tcs.2004.02.048},
  doi          = {10.1016/J.TCS.2004.02.048},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/ChamparnaudC04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/ChenP04,
  author       = {Hubie Chen and
                  Riccardo Pucella},
  title        = {A coalgebraic approach to Kleene algebra with tests},
  journal      = {Theor. Comput. Sci.},
  volume       = {327},
  number       = {1-2},
  pages        = {23--44},
  year         = {2004},
  url          = {https://doi.org/10.1016/j.tcs.2004.07.020},
  doi          = {10.1016/J.TCS.2004.07.020},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/ChenP04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/Cirstea04,
  author       = {Corina C{\^{\i}}rstea},
  title        = {A compositional approach to defining logics for coalgebras},
  journal      = {Theor. Comput. Sci.},
  volume       = {327},
  number       = {1-2},
  pages        = {45--69},
  year         = {2004},
  url          = {https://doi.org/10.1016/j.tcs.2004.07.021},
  doi          = {10.1016/J.TCS.2004.07.021},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/Cirstea04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/DAlessandroV04,
  author       = {Flavio D'Alessandro and
                  Stefano Varricchio},
  title        = {Well quasi-orders and context-free grammars},
  journal      = {Theor. Comput. Sci.},
  volume       = {327},
  number       = {3},
  pages        = {255--268},
  year         = {2004},
  url          = {https://doi.org/10.1016/j.tcs.2004.03.069},
  doi          = {10.1016/J.TCS.2004.03.069},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/DAlessandroV04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/EsikF04,
  author       = {Zolt{\'{a}}n {\'{E}}sik and
                  Zolt{\'{a}}n F{\"{u}}l{\"{o}}p},
  title        = {Foreword},
  journal      = {Theor. Comput. Sci.},
  volume       = {327},
  number       = {3},
  pages        = {223--224},
  year         = {2004},
  url          = {https://doi.org/10.1016/j.tcs.2004.07.032},
  doi          = {10.1016/J.TCS.2004.07.032},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/EsikF04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/FalcoGL04,
  author       = {Diego de Falco and
                  Massimiliano Goldwurm and
                  Violetta Lonati},
  title        = {Frequency of symbol occurrences in bicomponent stochastic models},
  journal      = {Theor. Comput. Sci.},
  volume       = {327},
  number       = {3},
  pages        = {269--300},
  year         = {2004},
  url          = {https://doi.org/10.1016/j.tcs.2004.05.024},
  doi          = {10.1016/J.TCS.2004.05.024},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/FalcoGL04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/Gumm04,
  author       = {H. Peter Gumm},
  title        = {Preface},
  journal      = {Theor. Comput. Sci.},
  volume       = {327},
  number       = {1-2},
  pages        = {1--2},
  year         = {2004},
  url          = {https://doi.org/10.1016/j.tcs.2004.07.018},
  doi          = {10.1016/J.TCS.2004.07.018},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/Gumm04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/HofbauerW04,
  author       = {Dieter Hofbauer and
                  Johannes Waldmann},
  title        = {Deleting string rewriting systems preserve regularity},
  journal      = {Theor. Comput. Sci.},
  volume       = {327},
  number       = {3},
  pages        = {301--317},
  year         = {2004},
  url          = {https://doi.org/10.1016/j.tcs.2004.04.009},
  doi          = {10.1016/J.TCS.2004.04.009},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/HofbauerW04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/HolzerK04,
  author       = {Markus Holzer and
                  Barbara K{\"{o}}nig},
  title        = {On deterministic finite automata and syntactic monoid size},
  journal      = {Theor. Comput. Sci.},
  volume       = {327},
  number       = {3},
  pages        = {319--347},
  year         = {2004},
  url          = {https://doi.org/10.1016/j.tcs.2004.04.010},
  doi          = {10.1016/J.TCS.2004.04.010},
  timestamp    = {Mon, 26 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tcs/HolzerK04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/HughesJ04,
  author       = {Jesse Hughes and
                  Bart Jacobs},
  title        = {Simulations in coalgebra},
  journal      = {Theor. Comput. Sci.},
  volume       = {327},
  number       = {1-2},
  pages        = {71--108},
  year         = {2004},
  url          = {https://doi.org/10.1016/j.tcs.2004.07.022},
  doi          = {10.1016/J.TCS.2004.07.022},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/HughesJ04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/KlimannLMP04,
  author       = {Ines Klimann and
                  Sylvain Lombardy and
                  Jean Mairesse and
                  Christophe Prieur},
  title        = {Deciding unambiguity and sequentiality from a finitely ambiguous max-plus
                  automaton},
  journal      = {Theor. Comput. Sci.},
  volume       = {327},
  number       = {3},
  pages        = {349--373},
  year         = {2004},
  url          = {https://doi.org/10.1016/j.tcs.2004.02.049},
  doi          = {10.1016/J.TCS.2004.02.049},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/KlimannLMP04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/KupkeKV04,
  author       = {Clemens Kupke and
                  Alexander Kurz and
                  Yde Venema},
  title        = {Stone coalgebras},
  journal      = {Theor. Comput. Sci.},
  volume       = {327},
  number       = {1-2},
  pages        = {109--134},
  year         = {2004},
  url          = {https://doi.org/10.1016/j.tcs.2004.07.023},
  doi          = {10.1016/J.TCS.2004.07.023},
  timestamp    = {Tue, 21 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/KupkeKV04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/LenisaPW04,
  author       = {Marina Lenisa and
                  John Power and
                  Hiroshi Watanabe},
  title        = {Category theory for operational semantics},
  journal      = {Theor. Comput. Sci.},
  volume       = {327},
  number       = {1-2},
  pages        = {135--154},
  year         = {2004},
  url          = {https://doi.org/10.1016/j.tcs.2004.07.024},
  doi          = {10.1016/J.TCS.2004.07.024},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/LenisaPW04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/Malcher04,
  author       = {Andreas Malcher},
  title        = {Minimizing finite automata is computationally hard},
  journal      = {Theor. Comput. Sci.},
  volume       = {327},
  number       = {3},
  pages        = {375--390},
  year         = {2004},
  url          = {https://doi.org/10.1016/j.tcs.2004.03.070},
  doi          = {10.1016/J.TCS.2004.03.070},
  timestamp    = {Sat, 09 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tcs/Malcher04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/MatthesU04,
  author       = {Ralph Matthes and
                  Tarmo Uustalu},
  title        = {Substitution in non-wellfounded syntax with variable binding},
  journal      = {Theor. Comput. Sci.},
  volume       = {327},
  number       = {1-2},
  pages        = {155--174},
  year         = {2004},
  url          = {https://doi.org/10.1016/j.tcs.2004.07.025},
  doi          = {10.1016/J.TCS.2004.07.025},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/MatthesU04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/Palmigiano04,
  author       = {Alessandra Palmigiano},
  title        = {A coalgebraic view on positive modal logic},
  journal      = {Theor. Comput. Sci.},
  volume       = {327},
  number       = {1-2},
  pages        = {175--195},
  year         = {2004},
  url          = {https://doi.org/10.1016/j.tcs.2004.07.026},
  doi          = {10.1016/J.TCS.2004.07.026},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/Palmigiano04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/Rosu04,
  author       = {Grigore Rosu},
  title        = {Behavioral abstraction is hiding information},
  journal      = {Theor. Comput. Sci.},
  volume       = {327},
  number       = {1-2},
  pages        = {197--221},
  year         = {2004},
  url          = {https://doi.org/10.1016/j.tcs.2004.07.027},
  doi          = {10.1016/J.TCS.2004.07.027},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/Rosu04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

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.