default search action

combined dblp search
author search
venue search
publication search

ask others

Information and Computation, Volume 111

> 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 111, Number 1, 1994

- no documents available
  - details & citations
- export record
  dblp key:
  - journals/iandc/Scedrov94
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iandc/Scedrov94
Andre Scedrov:
Preface. Inf. Comput. 111(1): iii (1994)
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/iandc/AcetoBV94
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iandc/AcetoBV94
Luca Aceto, Bard Bloom, Frits W. Vaandrager:
Turning SOS Rules into Equations. 1-52
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/iandc/AbramskyJ94
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iandc/AbramskyJ94
Samson Abramsky, Radha Jagadeesan:
New Foundations for the Geometry of Interaction. 53-119
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/iandc/Sangiorgi94
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iandc/Sangiorgi94
Davide Sangiorgi:
The Lazy Lambda Calculus in a Concurrency Scenario. 120-153
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/iandc/ComonHJ94
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iandc/ComonHJ94
Hubert Comon, Marianne Haberstrau, Jean-Pierre Jouannaud:
Syntacticness, Cycle-Syntacticness, and Shallow Theories. 154-191

Volume 111, Number 2, 1994

- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/iandc/HenzingerNSY94
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iandc/HenzingerNSY94
Thomas A. Henzinger, Xavier Nicollin, Joseph Sifakis, Sergio Yovine:
Symbolic Model Checking for Real-Time Systems. 193-244
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/iandc/TalpinJ94
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iandc/TalpinJ94
Jean-Pierre Talpin, Pierre Jouvelot:
The Type and Effect Discipline. 245-296
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/iandc/CartwrightCF94
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iandc/CartwrightCF94
Robert Cartwright, Pierre-Louis Curien, Matthias Felleisen:
Fully Abstract Semantics for Observably Sequential Languages. 297-401

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.