default search action

combined dblp search
author search
venue search
publication search

ask others

Information and Computation, Volume 124

> 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 124, Number 1, 10 January 1996

- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/iandc/FortnowR96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iandc/FortnowR96
Lance Fortnow, Nick Reingold:
PP is Closed Under Truth-Table Reductions. 1-6
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/iandc/Gruchalski96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iandc/Gruchalski96
Andreas Gruchalski:
Computability on dI-Domains. 7-19
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/iandc/CeceFI96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iandc/CeceFI96
Gérard Cécé, Alain Finkel, S. Purushothaman Iyer:
Unreliable Channels are Easier to Verify Than Perfect Channels. 20-31
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/iandc/KesnerPT96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iandc/KesnerPT96
Delia Kesner, Laurence Puel, Val Tannen:
A Typed Pattern Calculus. 32-61
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/iandc/Haack96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iandc/Haack96
Christian Haack:
A Decomposition Theorem for Domains. 62-67
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/iandc/AndersonY96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iandc/AndersonY96
James H. Anderson, Jae-Heon Yang:
Time/Contention Trade-Offs for Multiprocessor Synchronization. 68-84
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/iandc/KosiuczenkoM96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iandc/KosiuczenkoM96
Piotr Kosiuczenko, Karl Meinke:
On the Power of Higher-Order Algebraic Specification Methods. 85-101

Volume 124, Number 2, 1 February 1996

- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/iandc/Howe96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iandc/Howe96
Douglas J. Howe:
Proving Congruence of Bisimulation in Functional Programming Languages. 103-112
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/iandc/Ho96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iandc/Ho96
Chun-Kuen Ho:
Beyond Recursive Real Functions. 113-126
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/iandc/Ben-EliyahuM96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iandc/Ben-EliyahuM96
Rachel Ben-Eliyahu, Menachem Magidor:
A Temporal Logic for Proving Properties of Topologically General Executions. 127-144
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/iandc/FraserIM96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iandc/FraserIM96
Campbell Fraser, Robert W. Irving, Martin Middendorf:
Maximal Common Subsequences and Minimal Common Supersequences. 145-153
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/iandc/Rabinovich96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iandc/Rabinovich96
Alexander Moshe Rabinovich:
On Schematological Equivalence of Dataflow Networks. 154-167
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/iandc/Yen96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iandc/Yen96
Hsu-Chun Yen:
On the Regularity of Petri Net Languages. 168-181
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/iandc/Edalat96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iandc/Edalat96
Abbas Edalat:
Power Domains and Iterated Function Systems. 182-197

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.