Search dblp for Publications

• > Home > Search

@article{DBLP:journals/tcs/CintulaDM19,
  author       = {Petr Cintula and
                  Denisa Diaconescu and
                  George Metcalfe},
  title        = {Skolemization and Herbrand theorems for lattice-valued logics},
  journal      = {Theor. Comput. Sci.},
  volume       = {768},
  pages        = {54--75},
  year         = {2019},
  url          = {https://doi.org/10.1016/j.tcs.2019.02.007},
  doi          = {10.1016/J.TCS.2019.02.007},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tcs/CintulaDM19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/HirschJK19,
  author       = {Robin Hirsch and
                  Marcel Jackson and
                  Tomasz Kowalski},
  title        = {Algebraic foundations for qualitative calculi and networks},
  journal      = {Theor. Comput. Sci.},
  volume       = {768},
  pages        = {99--116},
  year         = {2019},
  url          = {https://doi.org/10.1016/j.tcs.2019.02.033},
  doi          = {10.1016/J.TCS.2019.02.033},
  timestamp    = {Fri, 27 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/HirschJK19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/HoweKS19,
  author       = {Jacob M. Howe and
                  Andy King and
                  Axel Simon},
  title        = {Incremental Closure for Systems of Two Variables Per Inequality},
  journal      = {Theor. Comput. Sci.},
  volume       = {768},
  pages        = {1--42},
  year         = {2019},
  url          = {https://doi.org/10.1016/j.tcs.2018.12.001},
  doi          = {10.1016/J.TCS.2018.12.001},
  timestamp    = {Fri, 31 Jan 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/HoweKS19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/Jay19,
  author       = {Barry Jay},
  title        = {Intensional computation with higher-order functions},
  journal      = {Theor. Comput. Sci.},
  volume       = {768},
  pages        = {76--90},
  year         = {2019},
  url          = {https://doi.org/10.1016/j.tcs.2019.02.016},
  doi          = {10.1016/J.TCS.2019.02.016},
  timestamp    = {Thu, 28 Mar 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/Jay19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/Strassburger19,
  author       = {Lutz Stra{\ss}burger},
  title        = {On the decision problem for {MELL}},
  journal      = {Theor. Comput. Sci.},
  volume       = {768},
  pages        = {91--98},
  year         = {2019},
  url          = {https://doi.org/10.1016/j.tcs.2019.02.022},
  doi          = {10.1016/J.TCS.2019.02.022},
  timestamp    = {Thu, 19 Dec 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/Strassburger19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/VatandoostEP19,
  author       = {Mehdi Vatandoost and
                  Ali Akbar Estaji and
                  Rahimeh Pourkhandani},
  title        = {A generalized modal logic in causal structures},
  journal      = {Theor. Comput. Sci.},
  volume       = {768},
  pages        = {43--53},
  year         = {2019},
  url          = {https://doi.org/10.1016/j.tcs.2019.02.006},
  doi          = {10.1016/J.TCS.2019.02.006},
  timestamp    = {Fri, 12 Apr 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tcs/VatandoostEP19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}