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}
}

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.