Information and Computation, Volume 131

Volume 131, Number 1, 25 November 1996

- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/iandc/FerrucciPSSTTV96
- ask others
Filomena Ferrucci, Giuliano Pacini, Giorgio Satta, Maria I. Sessa, Genoveffa Tortora, Maurizio Tucci, Giuliana Vitiello: Symbol-Relation Grammars: A Formalism for Graphical Languages. 1-46
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/iandc/KariT96
- ask others
Lila Kari, Gabriel Thierrin: Contextual Insertions/Deletions and Computability. 47-61
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/iandc/KaoRT96
- ask others
Ming-Yang Kao, John H. Reif, Stephen R. Tate: Searching in an Unknown Environment: An Optimal Randomized Algorithm for the Cow-Path Problem. 63-79
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/iandc/Bertram-KretzbergH96
- ask others
Claudia Bertram-Kretzberg, Thomas Hofmeister: Multiple Product Modulo Arbitrary Numbers. 81-93

Volume 131, Number 2, 15 December 1996

- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/iandc/RoossW96
- ask others
Diana Rooß, Klaus W. Wagner: On the Power of DNA-Computing. 95-109
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/iandc/BlundoSV96
- ask others
Carlo Blundo, Alfredo De Santis, Ugo Vaccaro: Randomness in Distribution Protocols. 111-139
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/iandc/Sangiorgi96
- ask others
Davide Sangiorgi: Bisimulation for Higher-Order Process Calculi. 141-178
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/iandc/AgrawalA96
- ask others
Manindra Agrawal, Vikraman Arvind: A Note on Decision versus Search for Graph Automorphism. 179-189