default search action

combined dblp search
author search
venue search
publication search

ask others

Information and Computation, Volume 107

Name: dblp XML data dump
Creator: Schloss Dagstuhl - Leibniz Center for Informatics
Published: 1993
License: https://creativecommons.org/publicdomain/zero/1.0/
Keywords: dblp, XML, computer science, scholarly publications, metadata

> 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 107, Number 1, 1993

- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/iandc/GoodrichAO93
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iandc/GoodrichAO93
Michael T. Goodrich, Mikhail J. Atallah, Mark H. Overmars:
Output-Sensitive Methods for Rectilinear Hidden Surface Removal. 1-24
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/iandc/OHearnT93
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iandc/OHearnT93
Peter W. O'Hearn, Robert D. Tennent:
Semantical Analysis of Specification Logic, 2. 25-57
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/iandc/Parrow93
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iandc/Parrow93
Joachim Parrow:
Structural and Behavioural Equivalences of Networks. 58-90
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/iandc/PacholskiS93
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iandc/PacholskiS93
Leszek Pacholski, Wieslaw Szwast:
A Counterexample to the 0-1 Law for the Class of Existential Second-Order Minimal Gödel Sentences with Equality. 91-103
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/iandc/Kuper93
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iandc/Kuper93
Jan Kuper:
An Axiomatic Theory for Partial Functions. 104-150
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/iandc/KlarlundS93
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iandc/KlarlundS93
Nils Klarlund, Fred B. Schneider:
Proving Nondeterministically Specified Safety Properties Using Progress Measures. 151-170

Volume 107, Number 2, 1993

- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/iandc/BurnsL93
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iandc/BurnsL93
James E. Burns, Nancy A. Lynch:
Bounds on Shared Memory for Mutual Exclusion. 171-184
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/iandc/Devolder93
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iandc/Devolder93
Jeanne Devolder:
Precircular Codes and Periodic Biinfinite Words. 185-201
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/iandc/HennessyI93
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iandc/HennessyI93
Matthew Hennessy, Anna Ingólfsdóttir:
A Theory of Communicating Processes with Value Passing. 202-236
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/iandc/FreivaldsS93
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iandc/FreivaldsS93
Rusins Freivalds, Carl H. Smith:
On the Role of Procrastination in Machine Learning. 237-271
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/iandc/JonssonP93
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iandc/JonssonP93
Bengt Jonsson, Joachim Parrow:
Deciding Bisimulation Equivalences for a Class of Non-Finite-State Programs. 272-302
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/iandc/GunterGM93
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iandc/GunterGM93
Carl A. Gunter, Elsa L. Gunter, David B. MacQueen:
Computing ML Equality Kinds Using Abstract Interpretation. 303-323

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.