default search action

combined dblp search
author search
venue search
publication search

ask others

Information and Computation, Volume 187

> 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 187, Number 1, 25 November 2003

- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/iandc/HomeierM03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iandc/HomeierM03
Peter V. Homeier, David F. Martin:
Secure mechanical verification of mutually recursive procedures. 1-19
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/iandc/KirousisK03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iandc/KirousisK03
Lefteris M. Kirousis, Phokion G. Kolaitis:
The complexity of minimal satisfiability problems. 20-39
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/iandc/KarhumakiL03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iandc/KarhumakiL03
Juhani Karhumäki, Leonid P. Lisovik:
A simple undecidable problem: the inclusion problem for finite substitutions on ab*c. 40-48
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/iandc/Lutz03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iandc/Lutz03
Jack H. Lutz:
The dimensions of individual strings and sequences. 49-79
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/iandc/Kuske03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iandc/Kuske03
Dietrich Kuske:
Regular sets of infinite message sequence charts. 80-109
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/iandc/Mihara03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iandc/Mihara03
Takashi Mihara:
Splitting information securely with entanglement. 110-122
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/iandc/ComonJ03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iandc/ComonJ03
Hubert Comon, Florent Jacquemard:
Ground reducibility is EXPTIME-complete. 123-153

Volume 187, Number 2, 15 December 2003

- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/iandc/ParnasR03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iandc/ParnasR03
Michal Parnas, Dana Ron:
Testing metric properties. 155-195
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/iandc/HirshfeldR03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iandc/HirshfeldR03
Yoram Hirshfeld, Alexander Moshe Rabinovich:
Future temporal logic needs infinitely many modalities. 196-208
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/iandc/CostagliolaDFG03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iandc/CostagliolaDFG03
Gennaro Costagliola, Vincenzo Deufemia, Filomena Ferrucci, Carmine Gravino:
On regular drawn symbolic picture languages. 209-245
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/iandc/GottliebO03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iandc/GottliebO03
Israel Gottlieb, Bojana Obrenic:
Controlling the data space of tree structured computations. 246-276
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/iandc/BshoutyJT03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iandc/BshoutyJT03
Nader H. Bshouty, Jeffrey C. Jackson, Christino Tamon:
Uniform-distribution attribute noise learnability. 277-290
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/iandc/FlumG03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iandc/FlumG03
Jörg Flum, Martin Grohe:
Describing parameterized complexity classes. 291-319

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.