default search action

combined dblp search
author search
venue search
publication search

ask others

Information and Computation, Volume 189

> Home > Journals > Information and Computation

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

Volume 189, Number 1, 25 February 2004

- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/iandc/DyerGJ04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iandc/DyerGJ04
Martin E. Dyer, Leslie Ann Goldberg, Mark Jerrum:
Counting and sampling H-colourings? 1-16
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/iandc/LengrandLDDB04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iandc/LengrandLDDB04
Stéphane Lengrand, Pierre Lescanne, Daniel J. Dougherty, Mariangiola Dezani-Ciancaglini, Steffen van Bakel:
Intersection types for explicit substitutions. 17-42
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/iandc/KenyonK04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iandc/KenyonK04
Claire Kenyon, Samuel Kutin:
Sensitivity, block sensitivity, and l-block sensitivity of boolean functions. 43-53
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/iandc/PalsbergZ04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iandc/PalsbergZ04
Jens Palsberg, Tian Zhao:
Type inference for record concatenation and subtyping. 54-86
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/iandc/PaoliniR04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iandc/PaoliniR04
Luca Paolini, Simona Ronchi Della Rocca:
Parametric parameter passing Lambda-calculus. 87-106
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/iandc/Fischer04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iandc/Fischer04
Eldar Fischer:
On the strength of comparisons in property testing. 107-116
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/iandc/AllenderM04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iandc/AllenderM04
Eric Allender, Meena Mahajan:
The complexity of planarity testing. 117-134

Volume 189, Number 2, 15 March 2004

- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/iandc/ErgunKR04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iandc/ErgunKR04
Funda Ergün, Ravi Kumar, Ronitt Rubinfeld:
Fast approximate probabilistically checkable proofs. 135-159
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/iandc/LohreyM04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iandc/LohreyM04
Markus Lohrey, Anca Muscholl:
Bounded MSC communication. 160-181
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/iandc/AtseriasB04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iandc/AtseriasB04
Albert Atserias, Maria Luisa Bonet:
On the automatizability of resolution and related propositional proof systems. 182-201
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/iandc/Mellies04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iandc/Mellies04
Paul-André Melliès:
Comparing hierarchies of types in models of linear logic. 202-234
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/iandc/SharmaSV04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iandc/SharmaSV04
Arun Sharma, Frank Stephan, Yuri Ventsov:
Generalized notions of mind change complexity. 235-262

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.