Search dblp for Publications

• > Home > Search

@article{DBLP:journals/tcs/AdamekM19,
  author       = {Jir{\'{\i}} Ad{\'{a}}mek and
                  Stefan Milius},
  title        = {On functors preserving coproducts and algebras with iterativity},
  journal      = {Theor. Comput. Sci.},
  volume       = {763},
  pages        = {66--87},
  year         = {2019},
  url          = {https://doi.org/10.1016/j.tcs.2019.01.018},
  doi          = {10.1016/J.TCS.2019.01.018},
  timestamp    = {Wed, 27 Feb 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/AdamekM19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/BodeiBB19,
  author       = {Chiara Bodei and
                  Linda Brodo and
                  Roberto Bruni},
  title        = {A formal approach to open multiparty interactions},
  journal      = {Theor. Comput. Sci.},
  volume       = {763},
  pages        = {38--65},
  year         = {2019},
  url          = {https://doi.org/10.1016/j.tcs.2019.01.033},
  doi          = {10.1016/J.TCS.2019.01.033},
  timestamp    = {Wed, 27 Feb 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/BodeiBB19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/HeX19,
  author       = {Qingyu He and
                  Luoshan Xu},
  title        = {Weak algebraic information systems and a new equivalent category of
                  {DOM} of domains},
  journal      = {Theor. Comput. Sci.},
  volume       = {763},
  pages        = {1--11},
  year         = {2019},
  url          = {https://doi.org/10.1016/j.tcs.2019.01.042},
  doi          = {10.1016/J.TCS.2019.01.042},
  timestamp    = {Thu, 21 Feb 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/HeX19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/SilvaPS19,
  author       = {Lavindra de Silva and
                  Lin Padgham and
                  Sebastian Sardi{\~{n}}a},
  title        = {HTN-like solutions for classical planning problems: An application
                  to {BDI} agent systems},
  journal      = {Theor. Comput. Sci.},
  volume       = {763},
  pages        = {12--37},
  year         = {2019},
  url          = {https://doi.org/10.1016/j.tcs.2019.01.034},
  doi          = {10.1016/J.TCS.2019.01.034},
  timestamp    = {Sat, 05 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tcs/SilvaPS19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}