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    = {Sun, 19 Jan 2025 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, 19 Jan 2025 00:00:00 +0100},
  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    = {Sun, 19 Jan 2025 00:00:00 +0100},
  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    = {Sun, 19 Jan 2025 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    = {Sun, 19 Jan 2025 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    = {Sun, 19 Jan 2025 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, 19 Jan 2025 00:00:00 +0100},
  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    = {Sun, 19 Jan 2025 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    = {Sun, 19 Jan 2025 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    = {Sun, 19 Jan 2025 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    = {Sun, 19 Jan 2025 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    = {Sun, 19 Jan 2025 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    = {Sun, 19 Jan 2025 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/WangL20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

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.