Search dblp for Publications

• > Home > Search

@article{DBLP:journals/iandc/AubertS16,
  author       = {Cl{\'{e}}ment Aubert and
                  Thomas Seiller},
  title        = {Logarithmic space and permutations},
  journal      = {Inf. Comput.},
  volume       = {248},
  pages        = {2--21},
  year         = {2016},
  url          = {https://doi.org/10.1016/j.ic.2014.01.018},
  doi          = {10.1016/J.IC.2014.01.018},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/iandc/AubertS16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/iandc/AvanziniM16,
  author       = {Martin Avanzini and
                  Georg Moser},
  title        = {A combination framework for complexity},
  journal      = {Inf. Comput.},
  volume       = {248},
  pages        = {22--55},
  year         = {2016},
  url          = {https://doi.org/10.1016/j.ic.2015.12.007},
  doi          = {10.1016/J.IC.2015.12.007},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/iandc/AvanziniM16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/iandc/BaillotL16,
  author       = {Patrick Baillot and
                  Ugo Dal Lago},
  title        = {Higher-order interpretations and program complexity},
  journal      = {Inf. Comput.},
  volume       = {248},
  pages        = {56--81},
  year         = {2016},
  url          = {https://doi.org/10.1016/j.ic.2015.12.008},
  doi          = {10.1016/J.IC.2015.12.008},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/iandc/BaillotL16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/iandc/BenedettiR16,
  author       = {Erika De Benedetti and
                  Simona Ronchi Della Rocca},
  title        = {A type assignment for {\(\lambda\)}-calculus complete both for {FPTIME}
                  and strong normalization},
  journal      = {Inf. Comput.},
  volume       = {248},
  pages        = {195--214},
  year         = {2016},
  url          = {https://doi.org/10.1016/j.ic.2015.12.012},
  doi          = {10.1016/J.IC.2015.12.012},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/iandc/BenedettiR16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/iandc/BonfanteKMO16,
  author       = {Guillaume Bonfante and
                  Reinhard Kahle and
                  Jean{-}Yves Marion and
                  Isabel Oitavem},
  title        = {Two function algebras defining functions in NC\({}^{\mbox{k}}\) boolean
                  circuits},
  journal      = {Inf. Comput.},
  volume       = {248},
  pages        = {82--103},
  year         = {2016},
  url          = {https://doi.org/10.1016/j.ic.2015.12.009},
  doi          = {10.1016/J.IC.2015.12.009},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/iandc/BonfanteKMO16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/iandc/CarvalhoF16,
  author       = {Daniel de Carvalho and
                  Lorenzo Tortora de Falco},
  title        = {A semantic account of strong normalization in linear logic},
  journal      = {Inf. Comput.},
  volume       = {248},
  pages        = {104--129},
  year         = {2016},
  url          = {https://doi.org/10.1016/j.ic.2015.12.010},
  doi          = {10.1016/J.IC.2015.12.010},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/iandc/CarvalhoF16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/iandc/ChrzaszczS16,
  author       = {Jacek Chrzaszcz and
                  Aleksy Schubert},
  title        = {The role of polymorphism in the characterisation of complexity by
                  soft types},
  journal      = {Inf. Comput.},
  volume       = {248},
  pages        = {130--149},
  year         = {2016},
  url          = {https://doi.org/10.1016/j.ic.2015.12.011},
  doi          = {10.1016/J.IC.2015.12.011},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/iandc/ChrzaszczS16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/iandc/LagoS16,
  author       = {Ugo Dal Lago and
                  Ulrich Sch{\"{o}}pp},
  title        = {Computation by interaction for space-bounded functional programming},
  journal      = {Inf. Comput.},
  volume       = {248},
  pages        = {150--194},
  year         = {2016},
  url          = {https://doi.org/10.1016/j.ic.2015.04.006},
  doi          = {10.1016/J.IC.2015.04.006},
  timestamp    = {Sat, 09 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/iandc/LagoS16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/iandc/Redmond16,
  author       = {Brian F. Redmond},
  title        = {Bounded Combinatory Logic and lower complexity},
  journal      = {Inf. Comput.},
  volume       = {248},
  pages        = {215--226},
  year         = {2016},
  url          = {https://doi.org/10.1016/j.ic.2015.12.013},
  doi          = {10.1016/J.IC.2015.12.013},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/iandc/Redmond16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/iandc/Rocca16,
  author       = {Simona Ronchi Della Rocca},
  title        = {Preface},
  journal      = {Inf. Comput.},
  volume       = {248},
  pages        = {1},
  year         = {2016},
  url          = {https://doi.org/10.1016/j.ic.2015.12.006},
  doi          = {10.1016/J.IC.2015.12.006},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/iandc/Rocca16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}