ask others

Information and Computation, Volume 103

> Home > Journals > Information and Computation

Volume 103, Number 1, 1993

- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/iandc/PnueliZ93
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/iandc/PnueliZ93
Amir Pnueli, Lenore D. Zuck:
Probabilistic Verification. 1-29
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/iandc/GinsburgSW93
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/iandc/GinsburgSW93
Seymour Ginsburg, Dan A. Simovici, Xiaoyang Sean Wang:
Content-Related Interval Queries on Object Histories. 30-67
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/iandc/BeigelGGO93
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/iandc/BeigelGGO93
Richard Beigel, William I. Gasarch, John Gill, James C. Owings:
Terse, Superterse, and Verbose Sets. 68-85
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/iandc/FalaschiLMP93
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/iandc/FalaschiLMP93
Moreno Falaschi, Giorgio Levi, Maurizio Martelli, Catuscia Palamidessi:
A Model-Theoretic Reconstruction of the Operational Semantics of Logic Programs. 86-113
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/iandc/MeseguerG93
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/iandc/MeseguerG93
José Meseguer, Joseph A. Goguen:
Order-Sorted Algebra Solves the Constructor-Selector, Multiple Representation, and Coercion Problems. 114-158

Volume 103, Number 2, 1993

- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/iandc/Staiger93
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/iandc/Staiger93
Ludwig Staiger:
Kolgomorov Complexity and Hausdorff Dimension. 159-194
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/iandc/MusikaevT93
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/iandc/MusikaevT93
Ilmir Kh. Musikaev, Michael A. Taitslin:
Limitations of the Program Memory and the Expressive Power of Dynamic Logics. 195-203
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/iandc/AcetoH93
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/iandc/AcetoH93
Luca Aceto, Matthew Hennessy:
Towards Action-Refinement in Process Algebras. 204-269
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/iandc/Peleg93
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/iandc/Peleg93
David Peleg:
Distance-Dependent Distributed Directories. 270-298
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/iandc/RivestS93
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/iandc/RivestS93
Ronald L. Rivest, Robert E. Schapire:
Inference of Finite Automata Using Homing Sequences. 299-347

maintained by

at