Search dblp for Publications

• > Home > Search

@article{DBLP:journals/tcs/AbramskyMP12,
  author       = {Samson Abramsky and
                  Michael W. Mislove and
                  Catuscia Palamidessi},
  title        = {Preface},
  journal      = {Theor. Comput. Sci.},
  volume       = {430},
  pages        = {1--2},
  year         = {2012},
  url          = {https://doi.org/10.1016/j.tcs.2012.03.022},
  doi          = {10.1016/J.TCS.2012.03.022},
  timestamp    = {Wed, 07 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/AbramskyMP12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/AndersABKO12,
  author       = {Janet Anders and
                  Erika Andersson and
                  Dan E. Browne and
                  Elham Kashefi and
                  Daniel K. L. Oi},
  title        = {Ancilla-driven quantum computation with twisted graph states},
  journal      = {Theor. Comput. Sci.},
  volume       = {430},
  pages        = {51--72},
  year         = {2012},
  url          = {https://doi.org/10.1016/j.tcs.2012.02.007},
  doi          = {10.1016/J.TCS.2012.02.007},
  timestamp    = {Thu, 14 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tcs/AndersABKO12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/Bauer12,
  author       = {Andrej Bauer},
  title        = {On the failure of fixed-point theorems for chain-complete lattices
                  in the effective topos},
  journal      = {Theor. Comput. Sci.},
  volume       = {430},
  pages        = {43--50},
  year         = {2012},
  url          = {https://doi.org/10.1016/j.tcs.2011.12.005},
  doi          = {10.1016/J.TCS.2011.12.005},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/Bauer12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/HermidaT12,
  author       = {Claudio Hermida and
                  Robert D. Tennent},
  title        = {Monoidal indeterminates and categories of possible worlds},
  journal      = {Theor. Comput. Sci.},
  volume       = {430},
  pages        = {3--22},
  year         = {2012},
  url          = {https://doi.org/10.1016/j.tcs.2012.01.001},
  doi          = {10.1016/J.TCS.2012.01.001},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/HermidaT12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/KeimelL12,
  author       = {Klaus Keimel and
                  Jimmie D. Lawson},
  title        = {Extending algebraic operations to D-completions},
  journal      = {Theor. Comput. Sci.},
  volume       = {430},
  pages        = {73--87},
  year         = {2012},
  url          = {https://doi.org/10.1016/j.tcs.2011.02.015},
  doi          = {10.1016/J.TCS.2011.02.015},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/KeimelL12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/KurzL12,
  author       = {Alexander Kurz and
                  Raul Andres Leal},
  title        = {Modalities in the Stone age: {A} comparison of coalgebraic logics},
  journal      = {Theor. Comput. Sci.},
  volume       = {430},
  pages        = {88--116},
  year         = {2012},
  url          = {https://doi.org/10.1016/j.tcs.2012.03.027},
  doi          = {10.1016/J.TCS.2012.03.027},
  timestamp    = {Tue, 21 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/KurzL12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/LanzagortaM12,
  author       = {Marco Lanzagorta and
                  Keye Martin},
  title        = {Teleportation with an imperfect state},
  journal      = {Theor. Comput. Sci.},
  volume       = {430},
  pages        = {117--125},
  year         = {2012},
  url          = {https://doi.org/10.1016/j.tcs.2012.01.003},
  doi          = {10.1016/J.TCS.2012.01.003},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/LanzagortaM12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/Schmidt12,
  author       = {David A. Schmidt},
  title        = {Inverse-limit and topological aspects of abstract interpretation},
  journal      = {Theor. Comput. Sci.},
  volume       = {430},
  pages        = {23--42},
  year         = {2012},
  url          = {https://doi.org/10.1016/j.tcs.2012.01.002},
  doi          = {10.1016/J.TCS.2012.01.002},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/Schmidt12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}