Search dblp for Publications

export results for "toc:db/journals/tcs/tcs813.bht:"

 download as .bib file

@article{DBLP:journals/tcs/AschieriCG20,
  author       = {Federico Aschieri and
                  Agata Ciabattoni and
                  Francesco A. Genco},
  title        = {On the concurrent computational content of intermediate logics},
  journal      = {Theor. Comput. Sci.},
  volume       = {813},
  pages        = {375--409},
  year         = {2020},
  url          = {https://doi.org/10.1016/j.tcs.2020.01.022},
  doi          = {10.1016/J.TCS.2020.01.022},
  timestamp    = {Mon, 26 Oct 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/AschieriCG20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/BaillotG20,
  author       = {Patrick Baillot and
                  Alexis Ghyselen},
  title        = {Combining linear logic and size types for implicit complexity},
  journal      = {Theor. Comput. Sci.},
  volume       = {813},
  pages        = {70--99},
  year         = {2020},
  url          = {https://doi.org/10.1016/j.tcs.2019.09.032},
  doi          = {10.1016/J.TCS.2019.09.032},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tcs/BaillotG20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/BarozziniFMMS20,
  author       = {David Barozzini and
                  David de Frutos{-}Escrig and
                  Dario Della Monica and
                  Angelo Montanari and
                  Pietro Sala},
  title        = {Beyond \emph{{\(\omega\)}}-regular languages: \emph{{\(\omega\)}T}-regular
                  expressions and their automata and logic counterparts},
  journal      = {Theor. Comput. Sci.},
  volume       = {813},
  pages        = {270--304},
  year         = {2020},
  url          = {https://doi.org/10.1016/j.tcs.2019.12.029},
  doi          = {10.1016/J.TCS.2019.12.029},
  timestamp    = {Mon, 05 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/BarozziniFMMS20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/BersaniRP20,
  author       = {Marcello M. Bersani and
                  Matteo Rossi and
                  Pierluigi {San Pietro}},
  title        = {On the initialization of clocks in timed formalisms},
  journal      = {Theor. Comput. Sci.},
  volume       = {813},
  pages        = {175--198},
  year         = {2020},
  url          = {https://doi.org/10.1016/j.tcs.2019.11.023},
  doi          = {10.1016/J.TCS.2019.11.023},
  timestamp    = {Mon, 17 Apr 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tcs/BersaniRP20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/BolotovHL20,
  author       = {Alexander Bolotov and
                  Montserrat Hermo and
                  Paqui Lucio},
  title        = {Branching-time logic ECTL{\#} and its tree-style one-pass tableau:
                  Extending fairness expressibility of {ECTL+}},
  journal      = {Theor. Comput. Sci.},
  volume       = {813},
  pages        = {428--451},
  year         = {2020},
  url          = {https://doi.org/10.1016/j.tcs.2020.02.015},
  doi          = {10.1016/J.TCS.2020.02.015},
  timestamp    = {Tue, 29 Dec 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/BolotovHL20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/BozzelliMMPW20,
  author       = {Laura Bozzelli and
                  Alberto Molinari and
                  Angelo Montanari and
                  Adriano Peron and
                  Gerhard J. Woeginger},
  title        = {Timeline-based planning over dense temporal domains},
  journal      = {Theor. Comput. Sci.},
  volume       = {813},
  pages        = {305--326},
  year         = {2020},
  url          = {https://doi.org/10.1016/j.tcs.2019.12.030},
  doi          = {10.1016/J.TCS.2019.12.030},
  timestamp    = {Thu, 19 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/BozzelliMMPW20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/BozzelliMS20,
  author       = {Laura Bozzelli and
                  Aniello Murano and
                  Loredana Sorrentino},
  title        = {Alternating-time temporal logics with linear past},
  journal      = {Theor. Comput. Sci.},
  volume       = {813},
  pages        = {199--217},
  year         = {2020},
  url          = {https://doi.org/10.1016/j.tcs.2019.11.028},
  doi          = {10.1016/J.TCS.2019.11.028},
  timestamp    = {Thu, 23 Jun 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tcs/BozzelliMS20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/CastiglioniLT20,
  author       = {Valentina Castiglioni and
                  Michele Loreti and
                  Simone Tini},
  title        = {The metric linear-time branching-time spectrum on nondeterministic
                  probabilistic processes},
  journal      = {Theor. Comput. Sci.},
  volume       = {813},
  pages        = {20--69},
  year         = {2020},
  url          = {https://doi.org/10.1016/j.tcs.2019.09.019},
  doi          = {10.1016/J.TCS.2019.09.019},
  timestamp    = {Mon, 26 Oct 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/CastiglioniLT20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/CouceiroLMP20,
  author       = {Miguel Couceiro and
                  Erkko Lehtonen and
                  Pierre Mercuriali and
                  Romain P{\'{e}}choux},
  title        = {On the efficiency of normal form systems for representing Boolean
                  functions},
  journal      = {Theor. Comput. Sci.},
  volume       = {813},
  pages        = {341--361},
  year         = {2020},
  url          = {https://doi.org/10.1016/j.tcs.2020.01.009},
  doi          = {10.1016/J.TCS.2020.01.009},
  timestamp    = {Wed, 07 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/CouceiroLMP20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/Fujita20,
  author       = {Ken{-}etsu Fujita},
  title        = {A formal system of reduction paths for parallel reduction},
  journal      = {Theor. Comput. Sci.},
  volume       = {813},
  pages        = {327--340},
  year         = {2020},
  url          = {https://doi.org/10.1016/j.tcs.2020.01.002},
  doi          = {10.1016/J.TCS.2020.01.002},
  timestamp    = {Fri, 06 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/Fujita20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/GiordanoP20,
  author       = {Laura Giordano and
                  Alberto Policriti},
  title        = {Adding the power-set to description logics},
  journal      = {Theor. Comput. Sci.},
  volume       = {813},
  pages        = {155--174},
  year         = {2020},
  url          = {https://doi.org/10.1016/j.tcs.2019.10.049},
  doi          = {10.1016/J.TCS.2019.10.049},
  timestamp    = {Sun, 04 Aug 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tcs/GiordanoP20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/KapronS20,
  author       = {Bruce M. Kapron and
                  Florian Steinberg},
  title        = {Type-two polynomial-time and restricted lookahead},
  journal      = {Theor. Comput. Sci.},
  volume       = {813},
  pages        = {1--19},
  year         = {2020},
  url          = {https://doi.org/10.1016/j.tcs.2019.07.003},
  doi          = {10.1016/J.TCS.2019.07.003},
  timestamp    = {Mon, 02 Nov 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/KapronS20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/KernbergerL20,
  author       = {Daniel Kernberger and
                  Martin Lange},
  title        = {On the expressive power of hybrid branching-time logics},
  journal      = {Theor. Comput. Sci.},
  volume       = {813},
  pages        = {362--374},
  year         = {2020},
  url          = {https://doi.org/10.1016/j.tcs.2020.01.014},
  doi          = {10.1016/J.TCS.2020.01.014},
  timestamp    = {Fri, 06 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/KernbergerL20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/LagoGT20,
  author       = {Ugo Dal Lago and
                  Francesco Gavazzo and
                  Ryo Tanaka},
  title        = {Effectful applicative similarity for call-by-name lambda calculi},
  journal      = {Theor. Comput. Sci.},
  volume       = {813},
  pages        = {234--247},
  year         = {2020},
  url          = {https://doi.org/10.1016/j.tcs.2019.12.025},
  doi          = {10.1016/J.TCS.2019.12.025},
  timestamp    = {Mon, 03 Jan 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/LagoGT20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/LagoV20,
  author       = {Ugo Dal Lago and
                  Gabriele Vanoni},
  title        = {On randomised strategies in the \emph{{\(\lambda\)}}-calculus},
  journal      = {Theor. Comput. Sci.},
  volume       = {813},
  pages        = {100--116},
  year         = {2020},
  url          = {https://doi.org/10.1016/j.tcs.2019.09.033},
  doi          = {10.1016/J.TCS.2019.09.033},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tcs/LagoV20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/Laurent20,
  author       = {Olivier Laurent},
  title        = {Polynomial time in untyped elementary linear logic},
  journal      = {Theor. Comput. Sci.},
  volume       = {813},
  pages        = {117--142},
  year         = {2020},
  url          = {https://doi.org/10.1016/j.tcs.2019.10.002},
  doi          = {10.1016/J.TCS.2019.10.002},
  timestamp    = {Mon, 06 Nov 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/Laurent20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/MatosPR20,
  author       = {Armando B. Matos and
                  Luca Paolini and
                  Luca Roversi},
  title        = {The fixed point problem of a simple reversible language},
  journal      = {Theor. Comput. Sci.},
  volume       = {813},
  pages        = {143--154},
  year         = {2020},
  url          = {https://doi.org/10.1016/j.tcs.2019.10.005},
  doi          = {10.1016/J.TCS.2019.10.005},
  timestamp    = {Fri, 27 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/MatosPR20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/PaoliniPR20,
  author       = {Luca Paolini and
                  Mauro Piccolo and
                  Luca Roversi},
  title        = {A class of Recursive Permutations which is Primitive Recursive complete},
  journal      = {Theor. Comput. Sci.},
  volume       = {813},
  pages        = {218--233},
  year         = {2020},
  url          = {https://doi.org/10.1016/j.tcs.2019.11.029},
  doi          = {10.1016/J.TCS.2019.11.029},
  timestamp    = {Fri, 27 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/PaoliniPR20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/SpalazziS20,
  author       = {Luca Spalazzi and
                  Francesco Spegni},
  title        = {Parameterized model checking of networks of timed automata with Boolean
                  guards},
  journal      = {Theor. Comput. Sci.},
  volume       = {813},
  pages        = {248--269},
  year         = {2020},
  url          = {https://doi.org/10.1016/j.tcs.2019.12.026},
  doi          = {10.1016/J.TCS.2019.12.026},
  timestamp    = {Mon, 26 Oct 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/SpalazziS20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/WangL20,
  author       = {Longchun Wang and
                  Qingguo Li},
  title        = {A logic for Lawson compact algebraic L-domains},
  journal      = {Theor. Comput. Sci.},
  volume       = {813},
  pages        = {410--427},
  year         = {2020},
  url          = {https://doi.org/10.1016/j.tcs.2020.01.025},
  doi          = {10.1016/J.TCS.2020.01.025},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tcs/WangL20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.