default search action

combined dblp search
author search
venue search
publication search

ask others

Information and Computation, Volume 125

> 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 125, Number 1, 25 February 1996

- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/iandc/CreignouH96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iandc/CreignouH96
Nadia Creignou, Miki Hermann:
Complexity of Generalized Satisfiability Counting Problems. 1-12
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/iandc/JuedesL96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iandc/JuedesL96
David W. Juedes, Jack H. Lutz:
Completeness and Weak Completeness Under Polynomial-Size Circuits. 13-31
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/iandc/GiammarresiRST96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iandc/GiammarresiRST96
Dora Giammarresi, Antonio Restivo, Sebastian Seibert, Wolfgang Thomas:
Monadic Second-Order Logic Over Rectangular Pictures and Recognizability by Tiling Systems. 32-45
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/iandc/LafontS96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iandc/LafontS96
Yves Lafont, Andre Scedrov:
The Undecidability of Second Order Multiplicative Linear Logic. 46-51
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/iandc/Bar-IlanP96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iandc/Bar-IlanP96
Judit Bar-Ilan, David Peleg:
Scheduling Jobs Using Common Resources. 52-61
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/iandc/KupfermanG96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iandc/KupfermanG96
Orna Kupferman, Orna Grumberg:
Branching-Time Temporal Logic and Tree Automata. 62-69
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/iandc/BookW96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iandc/BookW96
Ronald V. Book, Osamu Watanabe:
On Random Hard Sets for NP. 70-76

Volume 125, Number 2, 15 March 1996

- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/iandc/Hagiya96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iandc/Hagiya96
Masami Hagiya:
Preface. 77
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/iandc/AbadiC96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iandc/AbadiC96
Martín Abadi, Luca Cardelli:
A Theory of Primitive Objects: Untyped and First-Order Systems. 78-102
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/iandc/BarbaneraB96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iandc/BarbaneraB96
Franco Barbanera, Stefano Berardi:
A Symmetric Lambda Calculus for Classical Program Extraction. 103-117
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/iandc/GoltzGR96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iandc/GoltzGR96
Ursula Goltz, Roberto Gorrieri, Arend Rensink:
Comparing Syntactic and Semantic Sction Refinement. 118-143
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/iandc/TakahashiAH96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iandc/TakahashiAH96
Masako Takahashi, Yohji Akama, Sachio Hirokawa:
Normal Proofs and Their Grammar. 144-153
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/iandc/PlaistedS96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iandc/PlaistedS96
David A. Plaisted, Andrea Sattler-Klein:
Proof Lengths for Equational Completion. 154-170

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.