default search action

combined dblp search
author search
venue search
publication search

ask others

Information and Computation, Volume 79

> Home > Journals > Information and Computation

Refine list

refinements active!

zoomed in on 12 of 12 records

view refined list in

export refined list as

showing all 12 records

refine by search term

refine by author

refine by access Please note:
▪ This facet is still work in progress.
▪ Open access information for publications is still rather incomplete.

Volume 79, Number 1, 1988

- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/iandc/Gelder88
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iandc/Gelder88
Allen Van Gelder:
A Satisfiability Tester for Non-clausal Propositional Calculus. 1-21
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/iandc/Hortala-Gonzalezlm88
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iandc/Hortala-Gonzalezlm88
Maria Teresa Hortalá-González, Francisca Lucio-Carrasco, Mario Rodríguez-Artalejo:
Some General Incompleteness Results for Partial Correctness Logics. 22-42
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/iandc/ItaiR88
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iandc/ItaiR88
Alon Itai, Michael Rodeh:
The Multi-Tree Approach to Reliability in Distributed Networks. 43-59
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/iandc/BensonB88
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iandc/BensonB88
David B. Benson, Ofer Ben-Shachar:
Bisimulation of Automata. 60-83
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/iandc/Beaudry88
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iandc/Beaudry88
Martin Beaudry:
Membership Testing in Commutative Transformation Semigroups. 84-93
no results

Volume 79, Number 2, 1988

- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/iandc/RobinsonR88
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iandc/RobinsonR88
Edmund Robinson, Giuseppe Rosolini:
Categories of Partial Maps. 95-130
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/iandc/RinatFG88
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iandc/RinatFG88
Ran Rinat, Nissim Francez, Orna Grumberg:
Infinite Trees, Markings and Well-Foundedness. 131-154
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/iandc/Stohr88
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iandc/Stohr88
Elena Stöhr:
A Trade-off between Page Number and Page Width of Book Embeddings of Graphs. 155-162
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/iandc/TsaknakisP88
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iandc/TsaknakisP88
Haralampos Tsaknakis, P. Papantoni-Kazakos:
Outlier Resistent Filtering and Smoothing. 163-192
no results

Volume 79, Number 3, 1988

- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/iandc/Fulk88
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iandc/Fulk88
Mark A. Fulk:
Saving the Phenomena: Requirements that Inductive Inference Machines Not Contradict Known Data. 193-209
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/iandc/KoymansSRGA88
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iandc/KoymansSRGA88
Ron Koymans, R. K. Shyamasundar, Willem P. de Roever, Rob Gerth, S. Arun-Kumar:
Compositional Semantics for Real-Time Distributed Computing. 210-256
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/iandc/Trachtenberg88
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iandc/Trachtenberg88
Eliezer A. Trachtenberg:
Fault Tolerant Computing and Reliable Communication: A Unified Approach. 257-279
no results

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.