Search dblp for Publications

• > Home > Search

@article{DBLP:journals/iandc/BonnetFHR13,
  author       = {R{\'{e}}mi Bonnet and
                  Alain Finkel and
                  Serge Haddad and
                  Fernando Rosa{-}Velardo},
  title        = {Ordinal theory for expressiveness of well-structured transition systems},
  journal      = {Inf. Comput.},
  volume       = {224},
  pages        = {1--22},
  year         = {2013},
  url          = {https://doi.org/10.1016/j.ic.2012.11.003},
  doi          = {10.1016/J.IC.2012.11.003},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/iandc/BonnetFHR13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/iandc/BrazdilFKKK13,
  author       = {Tom{\'{a}}s Br{\'{a}}zdil and
                  Vojtech Forejt and
                  Jan Krc{\'{a}}l and
                  Jan Kret{\'{\i}}nsk{\'{y}} and
                  Anton{\'{\i}}n Kucera},
  title        = {Continuous-time stochastic games with time-bounded reachability},
  journal      = {Inf. Comput.},
  volume       = {224},
  pages        = {46--70},
  year         = {2013},
  url          = {https://doi.org/10.1016/j.ic.2013.01.001},
  doi          = {10.1016/J.IC.2013.01.001},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/iandc/BrazdilFKKK13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/iandc/EdalatLP13,
  author       = {Abbas Edalat and
                  Andr{\'{e}} Lieutier and
                  Dirk Pattinson},
  title        = {A computational model for multi-variable differential calculus},
  journal      = {Inf. Comput.},
  volume       = {224},
  pages        = {23--45},
  year         = {2013},
  url          = {https://doi.org/10.1016/j.ic.2012.11.006},
  doi          = {10.1016/J.IC.2012.11.006},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/iandc/EdalatLP13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/iandc/LohreyM13,
  author       = {Markus Lohrey and
                  Christian Mathissen},
  title        = {Isomorphism of regular trees and words},
  journal      = {Inf. Comput.},
  volume       = {224},
  pages        = {71--105},
  year         = {2013},
  url          = {https://doi.org/10.1016/j.ic.2013.01.002},
  doi          = {10.1016/J.IC.2013.01.002},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/iandc/LohreyM13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}