Search dblp for Publications

• > Home > Search

@article{DBLP:journals/tcs/ArieliS19,
  author       = {Ofer Arieli and
                  Christian Stra{\ss}er},
  title        = {Logical argumentation by dynamic proof systems},
  journal      = {Theor. Comput. Sci.},
  volume       = {781},
  pages        = {63--91},
  year         = {2019},
  url          = {https://doi.org/10.1016/j.tcs.2019.02.019},
  doi          = {10.1016/J.TCS.2019.02.019},
  timestamp    = {Fri, 27 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/ArieliS19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/Ayala-RinconBEV19,
  author       = {Mauricio Ayala{-}Rinc{\'{o}}n and
                  Eduardo Bonelli and
                  Juan Edi and
                  Andr{\'{e}}s Viso},
  title        = {Typed path polymorphism},
  journal      = {Theor. Comput. Sci.},
  volume       = {781},
  pages        = {111--130},
  year         = {2019},
  url          = {https://doi.org/10.1016/j.tcs.2019.02.018},
  doi          = {10.1016/J.TCS.2019.02.018},
  timestamp    = {Thu, 19 Dec 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/Ayala-RinconBEV19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/Ayala-RinconSFN19,
  author       = {Mauricio Ayala{-}Rinc{\'{o}}n and
                  Washington de Carvalho Segundo and
                  Maribel Fern{\'{a}}ndez and
                  Daniele Nantes{-}Sobrinho and
                  Ana Cristina Rocha Oliveira},
  title        = {A formalisation of nominal \emph{{\(\alpha\)}}-equivalence with A,
                  C, and {AC} function symbols},
  journal      = {Theor. Comput. Sci.},
  volume       = {781},
  pages        = {3--23},
  year         = {2019},
  url          = {https://doi.org/10.1016/j.tcs.2019.02.020},
  doi          = {10.1016/J.TCS.2019.02.020},
  timestamp    = {Fri, 09 Apr 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tcs/Ayala-RinconSFN19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/CaleiroCM19,
  author       = {Carlos Caleiro and
                  Filipe Casal and
                  Andreia Mordido},
  title        = {Generalized probabilistic satisfiability and applications to modelling
                  attackers with side-channel capabilities},
  journal      = {Theor. Comput. Sci.},
  volume       = {781},
  pages        = {39--62},
  year         = {2019},
  url          = {https://doi.org/10.1016/j.tcs.2019.02.021},
  doi          = {10.1016/J.TCS.2019.02.021},
  timestamp    = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tcs/CaleiroCM19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/ChaudhuriLR19,
  author       = {Kaustuv Chaudhuri and
                  Leonardo Lima and
                  Giselle Reis},
  title        = {Formalized meta-theory of sequent calculi for linear logics},
  journal      = {Theor. Comput. Sci.},
  volume       = {781},
  pages        = {24--38},
  year         = {2019},
  url          = {https://doi.org/10.1016/j.tcs.2019.02.023},
  doi          = {10.1016/J.TCS.2019.02.023},
  timestamp    = {Fri, 14 Apr 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tcs/ChaudhuriLR19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/LombardiRV19,
  author       = {Carlos Lombardi and
                  Alejandro R{\'{\i}}os and
                  Roel de Vrijer},
  title        = {Projections for infinitary rewriting (extended version)},
  journal      = {Theor. Comput. Sci.},
  volume       = {781},
  pages        = {92--110},
  year         = {2019},
  url          = {https://doi.org/10.1016/j.tcs.2019.02.017},
  doi          = {10.1016/J.TCS.2019.02.017},
  timestamp    = {Wed, 28 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tcs/LombardiRV19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/NigamT19,
  author       = {Vivek Nigam and
                  Ren{\'{e}} Thiemann},
  title        = {Logical and Semantic Frameworks with Applications},
  journal      = {Theor. Comput. Sci.},
  volume       = {781},
  pages        = {1--2},
  year         = {2019},
  url          = {https://doi.org/10.1016/j.tcs.2019.05.023},
  doi          = {10.1016/J.TCS.2019.05.023},
  timestamp    = {Wed, 25 Sep 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tcs/NigamT19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}