Search dblp for Publications

• > Home > Search

@article{DBLP:journals/tcs/BaldanGPS22,
  author       = {Paolo Baldan and
                  Daniele Gorla and
                  Tommaso Padoan and
                  Ivano Salvo},
  title        = {Behavioural logics for configuration structures},
  journal      = {Theor. Comput. Sci.},
  volume       = {913},
  pages        = {94--112},
  year         = {2022},
  url          = {https://doi.org/10.1016/j.tcs.2022.02.018},
  doi          = {10.1016/J.TCS.2022.02.018},
  timestamp    = {Wed, 27 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tcs/BaldanGPS22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/BezemC22,
  author       = {Marc Bezem and
                  Thierry Coquand},
  title        = {Loop-checking and the uniform word problem for join-semilattices with
                  an inflationary endomorphism},
  journal      = {Theor. Comput. Sci.},
  volume       = {913},
  pages        = {1--7},
  year         = {2022},
  url          = {https://doi.org/10.1016/j.tcs.2022.01.017},
  doi          = {10.1016/J.TCS.2022.01.017},
  timestamp    = {Fri, 13 May 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tcs/BezemC22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/DengF22,
  author       = {Yuxin Deng and
                  Yuan Feng},
  title        = {Formal semantics of a classical-quantum language},
  journal      = {Theor. Comput. Sci.},
  volume       = {913},
  pages        = {73--93},
  year         = {2022},
  url          = {https://doi.org/10.1016/j.tcs.2022.02.017},
  doi          = {10.1016/J.TCS.2022.02.017},
  timestamp    = {Thu, 23 Jun 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tcs/DengF22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/DurierHS22,
  author       = {Adrien Durier and
                  Daniel Hirschkoff and
                  Davide Sangiorgi},
  title        = {Eager functions as processes},
  journal      = {Theor. Comput. Sci.},
  volume       = {913},
  pages        = {8--42},
  year         = {2022},
  url          = {https://doi.org/10.1016/j.tcs.2022.01.043},
  doi          = {10.1016/J.TCS.2022.01.043},
  timestamp    = {Wed, 27 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tcs/DurierHS22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/PetersNS22,
  author       = {Kirstin Peters and
                  Uwe Nestmann and
                  Anna Schmitt},
  title        = {On distributability},
  journal      = {Theor. Comput. Sci.},
  volume       = {913},
  pages        = {151--173},
  year         = {2022},
  url          = {https://doi.org/10.1016/j.tcs.2022.03.028},
  doi          = {10.1016/J.TCS.2022.03.028},
  timestamp    = {Thu, 23 Jun 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tcs/PetersNS22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/WangZL22,
  author       = {Longchun Wang and
                  Xiangnan Zhou and
                  Qingguo Li},
  title        = {Information systems for continuous semi-lattices},
  journal      = {Theor. Comput. Sci.},
  volume       = {913},
  pages        = {138--150},
  year         = {2022},
  url          = {https://doi.org/10.1016/j.tcs.2022.02.020},
  doi          = {10.1016/J.TCS.2022.02.020},
  timestamp    = {Thu, 23 Jun 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tcs/WangZL22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/XieH22,
  author       = {Ruifeng Xie and
                  Zhenjiang Hu},
  title        = {Generic recursive lens combinators and their calculation laws},
  journal      = {Theor. Comput. Sci.},
  volume       = {913},
  pages        = {113--137},
  year         = {2022},
  url          = {https://doi.org/10.1016/j.tcs.2022.02.019},
  doi          = {10.1016/J.TCS.2022.02.019},
  timestamp    = {Wed, 27 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tcs/XieH22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/XuFMD22,
  author       = {Ming Xu and
                  Jianling Fu and
                  Jingyi Mei and
                  Yuxin Deng},
  title        = {Model checking {QCTL} plus on quantum Markov chains},
  journal      = {Theor. Comput. Sci.},
  volume       = {913},
  pages        = {43--72},
  year         = {2022},
  url          = {https://doi.org/10.1016/j.tcs.2022.01.044},
  doi          = {10.1016/J.TCS.2022.01.044},
  timestamp    = {Thu, 23 Jun 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tcs/XuFMD22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}