default search action

combined dblp search
author search
venue search
publication search

ask others

Information and Computation, Volume 80

> Home > Journals > Information and Computation

SPARQL queries

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

Volume 80, Number 1, 1989

- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/iandc/TorenvlietB89
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iandc/TorenvlietB89
Leen Torenvliet, Peter van Emde Boas:
Simplicity, Immunity, Relativizations and Nondeterminism. 1-17
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/iandc/BuningL89
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iandc/BuningL89
Hans Kleine Büning, Ulrich Löwen:
Optimizing Propositional Calculus Formulas with Regard to Questions of Deducibility. 18-43
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/iandc/Santha89
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iandc/Santha89
Miklos Santha:
Relativized Arthur-Merlin versus Merlin-Arthur Games. 44-49
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/iandc/CurienO89
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iandc/CurienO89
Pierre-Louis Curien, Adam Obtulowicz:
Partiality, Cartesian closedness and Toposes. 50-95

Volume 80, Number 2, 1989

- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/iandc/KlopV89
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iandc/KlopV89
Jan Willem Klop, Roel C. de Vrijer:
Unique Normal Forms for Lambda Calculus with Surjective Pairing. 97-113
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/iandc/Engelfriet89
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iandc/Engelfriet89
Joost Engelfriet:
The Power to Two-Way Deterministic Checking Stack Automata. 114-120
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/iandc/Bernot89
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iandc/Bernot89
Gilles Bernot:
Correctness Proofs for Abstract Implementation. 121-151
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/iandc/Vazirani89
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iandc/Vazirani89
Vijay V. Vazirani:
NC Algorithms for Computing the Number of Perfect Matchings in K_3,3-Free Graphs and Related Problems. 152-164
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/iandc/CousotC89
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iandc/CousotC89
Patrick Cousot, Radhia Cousot:
A Language Independent Proof of the Soundness and Completeness of Generalized Hoare Logic. 165-191

Volume 80, Number 3, 1989

- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/iandc/RuzzoK89
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iandc/RuzzoK89
Howard J. Karloff, Walter L. Ruzzo:
The Iterated Mod Problem. 193-204
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/iandc/DymondC89
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iandc/DymondC89
Patrick W. Dymond, Stephen A. Cook:
Complexity Theory of Parallel Time and Hardware. 205-226
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/iandc/QuinlanR89
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iandc/QuinlanR89
J. Ross Quinlan, Ronald L. Rivest:
Inferring Decision Trees Using the Minimum Description Length Principle. 227-248
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/iandc/FrancezP89
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iandc/FrancezP89
Sara Porat, Nissim Francez:
Fairness in Context-Free Grammars under Every Choice-strategy. 249-268
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/iandc/LangeJK89
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iandc/LangeJK89
Birgit Jenner, Bernd Kirsig, Klaus-Jörn Lange:
The Logarithmic Alternation Hierarchy Collapses: A∑₂^L = A∏₂^L. 269-287

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.