Search dblp for Publications

• > Home > Search

@article{DBLP:journals/tcs/BarceloRL13,
  author       = {Pablo Barcel{\'{o}} and
                  Juan L. Reutter and
                  Leonid Libkin},
  title        = {Parameterized regular expressions and their languages},
  journal      = {Theor. Comput. Sci.},
  volume       = {474},
  pages        = {21--45},
  year         = {2013},
  url          = {https://doi.org/10.1016/j.tcs.2012.12.036},
  doi          = {10.1016/J.TCS.2012.12.036},
  timestamp    = {Fri, 09 Apr 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tcs/BarceloRL13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/BerardCHLR13,
  author       = {B{\'{e}}atrice B{\'{e}}rard and
                  Franck Cassez and
                  Serge Haddad and
                  Didier Lime and
                  Olivier H. Roux},
  title        = {The expressive power of time Petri nets},
  journal      = {Theor. Comput. Sci.},
  volume       = {474},
  pages        = {1--20},
  year         = {2013},
  url          = {https://doi.org/10.1016/j.tcs.2012.12.005},
  doi          = {10.1016/J.TCS.2012.12.005},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/BerardCHLR13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/Gaina13,
  author       = {Daniel G{\^{a}}in{\^{a}}},
  title        = {Interpolation in logics with constructors},
  journal      = {Theor. Comput. Sci.},
  volume       = {474},
  pages        = {46--59},
  year         = {2013},
  url          = {https://doi.org/10.1016/j.tcs.2012.12.002},
  doi          = {10.1016/J.TCS.2012.12.002},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/Gaina13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/GenaimZ13,
  author       = {Samir Genaim and
                  Damiano Zanardini},
  title        = {Reachability-based acyclicity analysis by Abstract Interpretation},
  journal      = {Theor. Comput. Sci.},
  volume       = {474},
  pages        = {60--79},
  year         = {2013},
  url          = {https://doi.org/10.1016/j.tcs.2012.12.018},
  doi          = {10.1016/J.TCS.2012.12.018},
  timestamp    = {Mon, 03 Jan 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/GenaimZ13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/Lescanne13,
  author       = {Pierre Lescanne},
  title        = {On counting untyped lambda terms},
  journal      = {Theor. Comput. Sci.},
  volume       = {474},
  pages        = {80--97},
  year         = {2013},
  url          = {https://doi.org/10.1016/j.tcs.2012.11.019},
  doi          = {10.1016/J.TCS.2012.11.019},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/Lescanne13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/MillerP13,
  author       = {Dale Miller and
                  Elaine Pimentel},
  title        = {A formal framework for specifying sequent calculus proof systems},
  journal      = {Theor. Comput. Sci.},
  volume       = {474},
  pages        = {98--116},
  year         = {2013},
  url          = {https://doi.org/10.1016/j.tcs.2012.12.008},
  doi          = {10.1016/J.TCS.2012.12.008},
  timestamp    = {Sat, 09 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tcs/MillerP13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}