Search dblp for Publications

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

 download as .bib file

@article{DBLP:journals/tcs/Cirstea01,
  author       = {Corina C{\^{\i}}rstea},
  title        = {Semantic constructions for the specification of objects},
  journal      = {Theor. Comput. Sci.},
  volume       = {260},
  number       = {1-2},
  pages        = {3--25},
  year         = {2001},
  url          = {https://doi.org/10.1016/S0304-3975(00)00120-1},
  doi          = {10.1016/S0304-3975(00)00120-1},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/Cirstea01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/CorradiniGH01,
  author       = {Andrea Corradini and
                  Martin Gro{\ss}e{-}Rhode and
                  Reiko Heckel},
  title        = {A Coalgebraic presentation of structured transition systems},
  journal      = {Theor. Comput. Sci.},
  volume       = {260},
  number       = {1-2},
  pages        = {27--55},
  year         = {2001},
  url          = {https://doi.org/10.1016/S0304-3975(00)00121-3},
  doi          = {10.1016/S0304-3975(00)00121-3},
  timestamp    = {Fri, 09 Apr 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tcs/CorradiniGH01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/Gumm01,
  author       = {H. Peter Gumm},
  title        = {Equational and implicational classes of coalgebras},
  journal      = {Theor. Comput. Sci.},
  volume       = {260},
  number       = {1-2},
  pages        = {57--69},
  year         = {2001},
  url          = {https://doi.org/10.1016/S0304-3975(00)00122-5},
  doi          = {10.1016/S0304-3975(00)00122-5},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/Gumm01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/GummS01,
  author       = {H. Peter Gumm and
                  Tobias Schr{\"{o}}der},
  title        = {Covarieties and complete covarieties},
  journal      = {Theor. Comput. Sci.},
  volume       = {260},
  number       = {1-2},
  pages        = {71--86},
  year         = {2001},
  url          = {https://doi.org/10.1016/S0304-3975(00)00123-7},
  doi          = {10.1016/S0304-3975(00)00123-7},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/GummS01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/JacobsMR01,
  author       = {Bart Jacobs and
                  Larry Moss and
                  Horst Reichel and
                  Jan J. M. M. Rutten},
  title        = {Foreword : Coalgebraic Methods in Computer Science 1998},
  journal      = {Theor. Comput. Sci.},
  volume       = {260},
  number       = {1-2},
  pages        = {1},
  year         = {2001},
  url          = {https://doi.org/10.1016/S0304-3975(00)00119-5},
  doi          = {10.1016/S0304-3975(00)00119-5},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/JacobsMR01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/JohnstonePTWW01,
  author       = {Peter T. Johnstone and
                  John Power and
                  Toru Tsujishita and
                  Hiroshi Watanabe and
                  James Worrell},
  title        = {On the structure of categories of coalgebras},
  journal      = {Theor. Comput. Sci.},
  volume       = {260},
  number       = {1-2},
  pages        = {87--117},
  year         = {2001},
  url          = {https://doi.org/10.1016/S0304-3975(00)00124-9},
  doi          = {10.1016/S0304-3975(00)00124-9},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/JohnstonePTWW01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/Kurz01,
  author       = {Alexander Kurz},
  title        = {Specifying coalgebras with modal logic},
  journal      = {Theor. Comput. Sci.},
  volume       = {260},
  number       = {1-2},
  pages        = {119--138},
  year         = {2001},
  url          = {https://doi.org/10.1016/S0304-3975(00)00125-0},
  doi          = {10.1016/S0304-3975(00)00125-0},
  timestamp    = {Tue, 21 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/Kurz01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/Moss01,
  author       = {Lawrence S. Moss},
  title        = {Parametric corecursion},
  journal      = {Theor. Comput. Sci.},
  volume       = {260},
  number       = {1-2},
  pages        = {139--163},
  year         = {2001},
  url          = {https://doi.org/10.1016/S0304-3975(00)00126-2},
  doi          = {10.1016/S0304-3975(00)00126-2},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/Moss01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/Pardo01,
  author       = {Alberto Pardo},
  title        = {Fusion of recursive programs with computational effects},
  journal      = {Theor. Comput. Sci.},
  volume       = {260},
  number       = {1-2},
  pages        = {165--207},
  year         = {2001},
  url          = {https://doi.org/10.1016/S0304-3975(00)00127-4},
  doi          = {10.1016/S0304-3975(00)00127-4},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/Pardo01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/Ro01,
  author       = {Martin R{\"{o}}{\ss}iger},
  title        = {From modal logic to terminal coalgebras},
  journal      = {Theor. Comput. Sci.},
  volume       = {260},
  number       = {1-2},
  pages        = {209--228},
  year         = {2001},
  url          = {https://doi.org/10.1016/S0304-3975(00)00128-6},
  doi          = {10.1016/S0304-3975(00)00128-6},
  timestamp    = {Tue, 23 Aug 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tcs/Ro01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/Rosu01,
  author       = {Grigore Rosu},
  title        = {Equational axiomatizability for coalgebra},
  journal      = {Theor. Comput. Sci.},
  volume       = {260},
  number       = {1-2},
  pages        = {229--247},
  year         = {2001},
  url          = {https://doi.org/10.1016/S0304-3975(00)00129-8},
  doi          = {10.1016/S0304-3975(00)00129-8},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/Rosu01.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.