Search dblp for Publications

• > Home > Search

@article{DBLP:journals/tcs/Bednarczyk20,
  author       = {Bartosz Bednarczyk},
  title        = {One-variable logic meets Presburger arithmetic},
  journal      = {Theor. Comput. Sci.},
  volume       = {802},
  pages        = {141--146},
  year         = {2020},
  url          = {https://doi.org/10.1016/j.tcs.2019.09.028},
  doi          = {10.1016/J.TCS.2019.09.028},
  timestamp    = {Fri, 27 Dec 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/Bednarczyk20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/BergstraM20,
  author       = {Jan A. Bergstra and
                  Cornelis A. Middelburg},
  title        = {On the complexity of the correctness problem for non-zeroness test
                  instruction sequences},
  journal      = {Theor. Comput. Sci.},
  volume       = {802},
  pages        = {1--18},
  year         = {2020},
  url          = {https://doi.org/10.1016/j.tcs.2019.03.040},
  doi          = {10.1016/J.TCS.2019.03.040},
  timestamp    = {Fri, 27 Dec 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/BergstraM20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/Blum20,
  author       = {William Blum},
  title        = {Evaluating lambda terms with traversals},
  journal      = {Theor. Comput. Sci.},
  volume       = {802},
  pages        = {77--104},
  year         = {2020},
  url          = {https://doi.org/10.1016/j.tcs.2019.08.035},
  doi          = {10.1016/J.TCS.2019.08.035},
  timestamp    = {Mon, 02 Dec 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/Blum20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/CastiglioniT20,
  author       = {Valentina Castiglioni and
                  Simone Tini},
  title        = {Probabilistic divide {\&} congruence: Branching bisimilarity},
  journal      = {Theor. Comput. Sci.},
  volume       = {802},
  pages        = {147--196},
  year         = {2020},
  url          = {https://doi.org/10.1016/j.tcs.2019.09.037},
  doi          = {10.1016/J.TCS.2019.09.037},
  timestamp    = {Mon, 26 Oct 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/CastiglioniT20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/CorradiniDEPR20,
  author       = {Andrea Corradini and
                  Dominique Duval and
                  Rachid Echahed and
                  Fr{\'{e}}d{\'{e}}ric Prost and
                  Leila Ribeiro},
  title        = {Algebraic graph rewriting with controlled embedding},
  journal      = {Theor. Comput. Sci.},
  volume       = {802},
  pages        = {19--37},
  year         = {2020},
  url          = {https://doi.org/10.1016/j.tcs.2019.06.004},
  doi          = {10.1016/J.TCS.2019.06.004},
  timestamp    = {Sat, 04 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tcs/CorradiniDEPR20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/Cruz-FilipeM20,
  author       = {Lu{\'{\i}}s Cruz{-}Filipe and
                  Fabrizio Montesi},
  title        = {A core model for choreographic programming},
  journal      = {Theor. Comput. Sci.},
  volume       = {802},
  pages        = {38--66},
  year         = {2020},
  url          = {https://doi.org/10.1016/j.tcs.2019.07.005},
  doi          = {10.1016/J.TCS.2019.07.005},
  timestamp    = {Mon, 26 Oct 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/Cruz-FilipeM20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/FosterCCWZ20,
  author       = {Simon Foster and
                  Ana Cavalcanti and
                  Samuel Canham and
                  Jim Woodcock and
                  Frank Zeyda},
  title        = {Unifying theories of reactive design contracts},
  journal      = {Theor. Comput. Sci.},
  volume       = {802},
  pages        = {105--140},
  year         = {2020},
  url          = {https://doi.org/10.1016/j.tcs.2019.09.017},
  doi          = {10.1016/J.TCS.2019.09.017},
  timestamp    = {Mon, 05 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/FosterCCWZ20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/ZhouYYY20,
  author       = {Li Zhou and
                  Shenggang Ying and
                  Nengkun Yu and
                  Mingsheng Ying},
  title        = {Strassen's theorem for quantum couplings},
  journal      = {Theor. Comput. Sci.},
  volume       = {802},
  pages        = {67--76},
  year         = {2020},
  url          = {https://doi.org/10.1016/j.tcs.2019.08.026},
  doi          = {10.1016/J.TCS.2019.08.026},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tcs/ZhouYYY20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}