Search dblp for Publications

export results for "toc:db/journals/iandc/iandc189.bht:"

 download as .bib file

@article{DBLP:journals/iandc/AllenderM04,
  author       = {Eric Allender and
                  Meena Mahajan},
  title        = {The complexity of planarity testing},
  journal      = {Inf. Comput.},
  volume       = {189},
  number       = {1},
  pages        = {117--134},
  year         = {2004},
  url          = {https://doi.org/10.1016/j.ic.2003.09.002},
  doi          = {10.1016/J.IC.2003.09.002},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/iandc/AllenderM04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/iandc/AtseriasB04,
  author       = {Albert Atserias and
                  Maria Luisa Bonet},
  title        = {On the automatizability of resolution and related propositional proof
                  systems},
  journal      = {Inf. Comput.},
  volume       = {189},
  number       = {2},
  pages        = {182--201},
  year         = {2004},
  url          = {https://doi.org/10.1016/j.ic.2003.10.004},
  doi          = {10.1016/J.IC.2003.10.004},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/iandc/AtseriasB04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/iandc/DyerGJ04,
  author       = {Martin E. Dyer and
                  Leslie Ann Goldberg and
                  Mark Jerrum},
  title        = {Counting and sampling H-colourings?},
  journal      = {Inf. Comput.},
  volume       = {189},
  number       = {1},
  pages        = {1--16},
  year         = {2004},
  url          = {https://doi.org/10.1016/j.ic.2003.09.001},
  doi          = {10.1016/J.IC.2003.09.001},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/iandc/DyerGJ04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/iandc/ErgunKR04,
  author       = {Funda Erg{\"{u}}n and
                  Ravi Kumar and
                  Ronitt Rubinfeld},
  title        = {Fast approximate probabilistically checkable proofs},
  journal      = {Inf. Comput.},
  volume       = {189},
  number       = {2},
  pages        = {135--159},
  year         = {2004},
  url          = {https://doi.org/10.1016/j.ic.2003.09.005},
  doi          = {10.1016/J.IC.2003.09.005},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/iandc/ErgunKR04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/iandc/Fischer04,
  author       = {Eldar Fischer},
  title        = {On the strength of comparisons in property testing},
  journal      = {Inf. Comput.},
  volume       = {189},
  number       = {1},
  pages        = {107--116},
  year         = {2004},
  url          = {https://doi.org/10.1016/j.ic.2003.09.003},
  doi          = {10.1016/J.IC.2003.09.003},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/iandc/Fischer04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/iandc/KenyonK04,
  author       = {Claire Kenyon and
                  Samuel Kutin},
  title        = {Sensitivity, block sensitivity, and l-block sensitivity of boolean
                  functions},
  journal      = {Inf. Comput.},
  volume       = {189},
  number       = {1},
  pages        = {43--53},
  year         = {2004},
  url          = {https://doi.org/10.1016/j.ic.2002.12.001},
  doi          = {10.1016/J.IC.2002.12.001},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/iandc/KenyonK04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/iandc/LengrandLDDB04,
  author       = {St{\'{e}}phane Lengrand and
                  Pierre Lescanne and
                  Daniel J. Dougherty and
                  Mariangiola Dezani{-}Ciancaglini and
                  Steffen van Bakel},
  title        = {Intersection types for explicit substitutions},
  journal      = {Inf. Comput.},
  volume       = {189},
  number       = {1},
  pages        = {17--42},
  year         = {2004},
  url          = {https://doi.org/10.1016/j.ic.2003.09.004},
  doi          = {10.1016/J.IC.2003.09.004},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/iandc/LengrandLDDB04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/iandc/LohreyM04,
  author       = {Markus Lohrey and
                  Anca Muscholl},
  title        = {Bounded {MSC} communication},
  journal      = {Inf. Comput.},
  volume       = {189},
  number       = {2},
  pages        = {160--181},
  year         = {2004},
  url          = {https://doi.org/10.1016/j.ic.2003.10.002},
  doi          = {10.1016/J.IC.2003.10.002},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/iandc/LohreyM04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/iandc/Mellies04,
  author       = {Paul{-}Andr{\'{e}} Melli{\`{e}}s},
  title        = {Comparing hierarchies of types in models of linear logic},
  journal      = {Inf. Comput.},
  volume       = {189},
  number       = {2},
  pages        = {202--234},
  year         = {2004},
  url          = {https://doi.org/10.1016/j.ic.2003.10.003},
  doi          = {10.1016/J.IC.2003.10.003},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/iandc/Mellies04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/iandc/PalsbergZ04,
  author       = {Jens Palsberg and
                  Tian Zhao},
  title        = {Type inference for record concatenation and subtyping},
  journal      = {Inf. Comput.},
  volume       = {189},
  number       = {1},
  pages        = {54--86},
  year         = {2004},
  url          = {https://doi.org/10.1016/j.ic.2003.10.001},
  doi          = {10.1016/J.IC.2003.10.001},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/iandc/PalsbergZ04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/iandc/PaoliniR04,
  author       = {Luca Paolini and
                  Simona Ronchi Della Rocca},
  title        = {Parametric parameter passing Lambda-calculus},
  journal      = {Inf. Comput.},
  volume       = {189},
  number       = {1},
  pages        = {87--106},
  year         = {2004},
  url          = {https://doi.org/10.1016/j.ic.2003.08.003},
  doi          = {10.1016/J.IC.2003.08.003},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/iandc/PaoliniR04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/iandc/SharmaSV04,
  author       = {Arun Sharma and
                  Frank Stephan and
                  Yuri Ventsov},
  title        = {Generalized notions of mind change complexity},
  journal      = {Inf. Comput.},
  volume       = {189},
  number       = {2},
  pages        = {235--262},
  year         = {2004},
  url          = {https://doi.org/10.1016/j.ic.2003.11.001},
  doi          = {10.1016/J.IC.2003.11.001},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/iandc/SharmaSV04.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.