default search action

combined dblp search
author search
venue search
publication search

ask others

Information and Computation, Volume 186

> 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 186, Number 1, 10 October 2003

- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/iandc/ReithV03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iandc/ReithV03
Steffen Reith, Heribert Vollmer:
Optimal satisfiability for propositional calculi and constraint satisfaction problems. 1-19
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/iandc/Bshouty03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iandc/Bshouty03
Nader H. Bshouty:
The monotone theory for the PAC-model. 20-35
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/iandc/SchmidS03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iandc/SchmidS03
Ulrich Schmid, Klaus Schossmaier:
Interval-based clock synchronization with optimal precision. 36-77
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/iandc/AblayevK03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iandc/AblayevK03
Farid M. Ablayev, Marek Karpinski:
A lower bound for integer multiplication on randomized ordered read-once branching programs. 78-89
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/iandc/FennerFNR03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iandc/FennerFNR03
Stephen A. Fenner, Lance Fortnow, Ashish V. Naik, John D. Rogers:
Inverting onto functions. 90-103
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/iandc/AmirBG03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iandc/AmirBG03
Amihood Amir, Richard Beigel, William I. Gasarch:
Some connections between bounded query classes and non-uniform complexity. 104-139
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/iandc/IlieY03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iandc/IlieY03
Lucian Ilie, Sheng Yu:
Follow automata. 140-162

Volume 186, Number 2, 1 November 2003

Theoretical Aspects of Computer Software (TACS 2001)

- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/iandc/KobayashiP03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iandc/KobayashiP03
Naoki Kobayashi, Benjamin C. Pierce:
Information and Computation special issue from TACS 2001. 163-164
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/iandc/Pitts03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iandc/Pitts03
Andrew M. Pitts:
Nominal logic, a first order theory of names and binding. 165-193
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/iandc/CairesC03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iandc/CairesC03
Luís Caires, Luca Cardelli:
A spatial logic for concurrency (part I). 194-235
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/iandc/Ogawa03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iandc/Ogawa03
Mizuhito Ogawa:
A linear time algorithm for monadic querying of indefinite data over linearly ordered domains. 236-259
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/iandc/Wadler03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iandc/Wadler03
Philip Wadler:
The Girard-Reynolds isomorphism. 260-284
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/iandc/BonsangueK03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iandc/BonsangueK03
Marcello M. Bonsangue, Joost N. Kok:
Infinite intersection types. 285-318
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/iandc/NiehrenP03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iandc/NiehrenP03
Joachim Niehren, Tim Priesnitz:
Non-structural subtype entailment in automata theory. 319-354
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/iandc/EsparzaKS03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iandc/EsparzaKS03
Javier Esparza, Antonín Kucera, Stefan Schwoon:
Model checking LTL with regular valuations for pushdown systems. 355-376

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.